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/62798

Title:	Deciding bisimulation-like equivalences with finite-state processes
Author:	Jančar, Petr Kučera, Antonín Mayr, Richard
Date issue:	1998
Citation:	Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998. Proceedings. 1998, p. 200-211. Lecture notes in computer science, vol. 1443.
URI:	http://hdl.handle.net/10084/62798
ISSN:	0302-9743 1611-3349
DOI:	10.1007/BFb0055035
URI:	http://dx.doi.org/10.1007/BFb0055035
ISBN:	978-3-540-64781-2
Type:	Article
Access rights:	Fulltext Request
Počet citací dokumentu:

Files	Size	Format	View
There are no files associated with this item.

Publikační činnost VŠB-TUO / Publications of VŠB-TUO [1936]
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.