Techniques for decidability and undecidability of bisimilarity

Author
Date
1999
Type
article
Location
Ve fondu ÚK
ISSN
0302-9743
1611-3349
Metadata
Show full item record
Citation source document
CONCUR'99 - Concurrency Theory : 14th International Conference, Eindhoven, The Netherlands, August 1999. Proceedings. 1999, p. 30-45.
Available at
http://dx.doi.org/10.1007/3-540-48320-9_5
URI
http://hdl.handle.net/10084/61805
Collections
Citace PRO