Deciding bisimulation-like equivalences with finite-state processes

DSpace/Manakin Repository

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

Show full item record


Title: Deciding bisimulation-like equivalences with finite-state processes
Author: Jančar, Petr
Kučera, Antonín
Mayr, Richard
Date issue: 2001
Citation: Theoretical computer science. 2001, vol. 258, issues 1-2, p. 409-433.
URI: http://hdl.handle.net/10084/57925
ISSN: 0304-3975
DOI: 10.1016/S0304-3975(00)00027-X
URI: http://dx.doi.org/10.1016/S0304-3975(00)00027-X
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 [1971]
    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

Navigation

Browse

My Account

Statistics