KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. F. Plášil, K.G. Jeffery (Eds.). In Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97). Berlin: Springer, 1997, s. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{190158, author = {Kučera, Antonín}, address = {Berlin}, booktitle = {Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97)}, keywords = {concurrency; infinite-state systems; behavioural equivalences}, language = {eng}, location = {Berlin}, isbn = {3-540-63774-5}, pages = {481-488}, publisher = {Springer}, title = {On Finite Representations of Infinite-State Behaviours.}, year = {1997} }
TY - JOUR ID - 190158 AU - Kučera, Antonín PY - 1997 TI - On Finite Representations of Infinite-State Behaviours. VL - Lecture Notes in Computer Science, vol. 1338 PB - Springer CY - Berlin SN - 3540637745 KW - concurrency KW - infinite-state systems KW - behavioural equivalences ER -
KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. F. Plášil, K.G. Jeffery (Eds.). In \textit{Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97)}. Berlin: Springer, 1997, s.~481-488. Lecture Notes in Computer Science, vol. 1338. ISBN~3-540-63774-5.
|