Deciding bisimulation-like equivalences with finite-state processes
Date
1998Type
article
Location
Není ve fondu ÚK
ISSN
0302-97431611-3349
Metadata
Show full item record
Citation source document
Automata, Languages and Programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998. Proceedings. 1998, p. 200-211.