Deciding bisimulation-like equivalences with finite-state processes
Datum vydání
1998Typ dokumentu
article
Lokace
Není ve fondu ÚK
ISSN
0302-97431611-3349
Metadata
Zobrazit celý záznamCitace zdrojového dokumentu
Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998. Proceedings. 1998, p. 200-211.