Další formáty:
BibTeX
LaTeX
RIS
@article{190167, author = {Jančar, Petr and Kučera, Antonín}, article_number = {9}, keywords = {concurrency; bisimilarity; infinite-state systems}, language = {eng}, journal = {Electronic Notes in Theoretical Computer Science}, title = {Bisimilarity of Processes with Finite-State Systems.}, url = {http://www.elsevier.nl/locate/entcs/}, volume = {1997}, year = {1997} }
TY - JOUR ID - 190167 AU - Jančar, Petr - Kučera, Antonín PY - 1997 TI - Bisimilarity of Processes with Finite-State Systems. JF - Electronic Notes in Theoretical Computer Science VL - 1997 IS - 9 SP - 1 EP - 1 PB - Elsevier KW - concurrency KW - bisimilarity KW - infinite-state systems UR - http://www.elsevier.nl/locate/entcs/ ER -
JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-State Systems. \textit{Electronic Notes in Theoretical Computer Science}. Elsevier, 1997, roč.~1997, č.~9, s.~1-14.
|