Other formats:
BibTeX
LaTeX
RIS
@inproceedings{190165, author = {Jančar, Petr and Kučera, Antonín}, address = {Uppsala (Sweden)}, booktitle = {Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97)}, keywords = {concurrency; bisimilarity; infinite-state systems}, language = {eng}, location = {Uppsala (Sweden)}, isbn = {1100-0686}, pages = {72-85}, publisher = {University of Uppsala}, title = {Bisimilarity of Processes with Finite-State Systems}, year = {1997} }
TY - JOUR ID - 190165 AU - Jančar, Petr - Kučera, Antonín PY - 1997 TI - Bisimilarity of Processes with Finite-State Systems VL - UPMAIL TR No. 148 PB - University of Uppsala CY - Uppsala (Sweden) SN - 11000686 KW - concurrency KW - bisimilarity KW - infinite-state systems ER -
JANČAR, Petr and Antonín KUČERA. Bisimilarity of Processes with Finite-State Systems. F. Moller (Editor). In \textit{Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97)}. Uppsala (Sweden): University of Uppsala, 1997, p.~72-85. UPMAIL TR No. 148. ISBN~1100-0686.
|