Information Technology Reference
In-Depth Information
Fig. 3.10
Check whether
s
is bisimilar to
t
. ©2009 IEEE. Reprinted, with permission, from [
63
].
Search WWH ::
Custom Search