Další formáty:
BibTeX
LaTeX
RIS
@article{233331, author = {Jančar, Petr and Kučera, Antonín}, article_location = {Brno}, article_number = {RS-97-02}, keywords = {process algebras; bisimilarity; finite-state systems}, language = {eng}, journal = {FI MU Report Series}, title = {Bisimilarity of Processes with Finite-state Systems}, volume = {1997}, year = {1997} }
TY - JOUR ID - 233331 AU - Jančar, Petr - Kučera, Antonín PY - 1997 TI - Bisimilarity of Processes with Finite-state Systems JF - FI MU Report Series VL - 1997 IS - RS-97-02 SP - 1 EP - 1 PB - FI MU KW - process algebras KW - bisimilarity KW - finite-state systems ER -
JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-state Systems. \textit{FI MU Report Series}. Brno: FI MU, 1997, roč.~1997, RS-97-02, s.~1-19.
|