Decidability of bisimilarity for one-counter processes
Datum vydání
2000Typ dokumentu
article
Lokace
Není ve fondu ÚK
ISSN
0890-5401
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
Information and Computation. 2000, vol. 158, issue 1, p. 1-17 .