Techniques for decidability and undecidability of bisimilarity
Datum vydání
1999Typ dokumentu
article
Lokace
Ve fondu ÚK
ISSN
0302-97431611-3349
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
CONCUR'99 - Concurrency Theory : 14th International Conference, Eindhoven, The Netherlands, August 1999. Proceedings. 1999, p. 30-45.