Techniques for decidability and undecidability of bisimilarity
Loading...
Downloads
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Location
Ve fondu ÚK
Signature
Abstract
Description
Delayed publication
Available after
Subject(s)
Citation
CONCUR'99 - Concurrency Theory : 14th International Conference, Eindhoven, The Netherlands, August 1999. Proceedings. 1999, p. 30-45.