Equivalence-checking with infinite-state systems: Techniques and results

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/57565

Show full item record

Title: Equivalence-checking with infinite-state systems: Techniques and results
Author: Kučera, Antonín
Jančar, Petr
Date issue: 2002
Citation: SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002. Proceedings. 2002, p. 41-73. Lecture notes in computer science, vol. 2540.
URI: http://hdl.handle.net/10084/57565
ISSN: 0302-9743
DOI: 10.1007/3-540-36137-5_3
URI: http://dx.doi.org/10.1007/3-540-36137-5_3
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