Simulation and bisimulation over one-counter processes
Loading...
Downloads
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Location
Není ve fondu ÚK
Signature
Abstract
Description
Subject(s)
Citation
STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000. Proceedings. 2000, p. 334-335.