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.
|