JANČAR, Petr, Antonín KUČERA a Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM. Germany: Technical University Munich, 1998, roč. 1998, TUM-I9805, s. 1-24. |
Další formáty:
BibTeX
LaTeX
RIS
@article{233351, author = {Jančar, Petr and Kučera, Antonín and Richard, Mayr}, article_location = {Germany}, article_number = {TUM-I9805}, keywords = {process algebras; bisimilarity; finite-state systems}, language = {eng}, journal = {Technical Report TUM}, title = {Deciding Bisimulation-Like Equivalences with Finite-State Processes}, volume = {1998}, year = {1998} }
TY - JOUR ID - 233351 AU - Jančar, Petr - Kučera, Antonín - Richard, Mayr PY - 1998 TI - Deciding Bisimulation-Like Equivalences with Finite-State Processes JF - Technical Report TUM VL - 1998 IS - TUM-I9805 SP - 1 EP - 1 PB - Technical University Munich KW - process algebras KW - bisimilarity KW - finite-state systems ER -
JANČAR, Petr, Antonín KUČERA a Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. \textit{Technical Report TUM}. Germany: Technical University Munich, 1998, roč.~1998, TUM-I9805, s.~1-24.
|