KUČERA, Antonín. Efficient Verification Algorithms for One-Counter Processes. U. Montanari, J.D.P. Rolim, E. Welzl (Eds.). In Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000). Berlin, Heidelberg, New York: Springer, 2000, s. 317-328. Lecture Notes in Computer Science, vol. 1853. ISBN 3-540-67715-1. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{324891, author = {Kučera, Antonín}, address = {Berlin, Heidelberg, New York}, booktitle = {Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000)}, keywords = {concurrency; bisimulation; one-counter automata}, language = {eng}, location = {Berlin, Heidelberg, New York}, isbn = {3-540-67715-1}, pages = {317-328}, publisher = {Springer}, title = {Efficient Verification Algorithms for One-Counter Processes}, year = {2000} }
TY - JOUR ID - 324891 AU - Kučera, Antonín PY - 2000 TI - Efficient Verification Algorithms for One-Counter Processes VL - Lecture Notes in Computer Science, vol. 1853 PB - Springer CY - Berlin, Heidelberg, New York SN - 3540677151 KW - concurrency KW - bisimulation KW - one-counter automata ER -
KUČERA, Antonín. Efficient Verification Algorithms for One-Counter Processes. U. Montanari, J.D.P. Rolim, E. Welzl (Eds.). In \textit{Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000)}. Berlin, Heidelberg, New York: Springer, 2000, s.~317-328. Lecture Notes in Computer Science, vol. 1853. ISBN~3-540-67715-1.
|