Simulation and bisimulation over one-counter processes

Author
Date
2000
Type
article
Location
Není ve fondu ÚK
ISSN
0302-9743
Metadata
Show full item record
Citation source document
STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000. Proceedings. 2000, p. 334-335.
Available at
https://link.springer.com/chapter/10.1007/3-540-46541-3_28
URI
http://hdl.handle.net/10084/58036
Collections
Citace PRO