Techniques for decidability and undecidability of bisimilarity

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor:

Show full item record

Title: Techniques for decidability and undecidability of bisimilarity
Author: Jančar, Petr
Moller, Faron
Date issue: 1999
Citation: CONCUR'99 - Concurrency theory : 14th International Conference, Eindhoven, The Netherlands, August 1999. Proceedings. 1999, p. 30-45. Lecture notes in computer science, vol. 1664.
ISSN: 0302-9743
DOI: 10.1007/3-540-48320-9_5
Type: article
Počet citací dokumentu:

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

  • Publikační činnost VŠB-TUO / Publications of VŠB-TUO [2612]
    Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků VŠB-TUO v časopisech (a v Lecture Notes in Computer Science) registrovaných ve Web of Science od roku 1990 po současnost.

Show full item record

Search DSpace

Advanced Search



My Account