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
Subject(s)
Citation
CONCUR'99 - Concurrency Theory : 14th International Conference, Eindhoven, The Netherlands, August 1999. Proceedings. 1999, p. 30-45.