Simulation and bisimulation over one-counter processes
Datum vydání
2000Typ dokumentu
article
Lokace
Není ve fondu ÚK
ISSN
0302-9743
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000. Proceedings. 2000, p. 334-335.