| JANČAR, Petr, Antonín KUČERA a Faron MOLLER. Simulation and Bisimulation over One-Counter Processes. H. Reichel, S. Tison (Eds.). In Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000). Berlin, Heidelberg, New York: Springer, 2000, s. 334-345. Lecture Notes in Computer Science, vol. 1770. ISBN 3-540-67141-2. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{242571,
author = {Jančar, Petr and Kučera, Antonín and Moller, Faron},
address = {Berlin, Heidelberg, New York},
booktitle = {Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000)},
keywords = {concurrency; bisimulation; simulation; one-counter automata},
language = {eng},
location = {Berlin, Heidelberg, New York},
isbn = {3-540-67141-2},
pages = {334-345},
publisher = {Springer},
title = {Simulation and Bisimulation over One-Counter Processes},
year = {2000}
}
TY - JOUR
ID - 242571
AU - Jančar, Petr - Kučera, Antonín - Moller, Faron
PY - 2000
TI - Simulation and Bisimulation over One-Counter Processes
VL - Lecture Notes in Computer Science, vol. 1770
PB - Springer
CY - Berlin, Heidelberg, New York
SN - 3540671412
KW - concurrency
KW - bisimulation
KW - simulation
KW - one-counter automata
ER -
JANČAR, Petr, Antonín KUČERA a Faron MOLLER. Simulation and Bisimulation over One-Counter Processes. H. Reichel, S. Tison (Eds.). In \textit{Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000)}. Berlin, Heidelberg, New York: Springer, 2000, s.~334-345. Lecture Notes in Computer Science, vol. 1770. ISBN~3-540-67141-2.
|
