Equivalence-checking on 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/56289

Title:	Equivalence-checking on infinite-state systems: Techniques and results
Author:	Kučera, Antonín Jančar, Petr
Date issue:	2006
Citation:	Theory and practice of logic programming. 2006, vol. 6, issue 3.
URI:	http://hdl.handle.net/10084/56289
ISSN:	1471-0684
DOI:	10.1017/S1471068406002651
URI:	http://dx.doi.org/10.1017/S1471068406002651
Type:	Article
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 [1643]
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.
Publikační činnost Katedry informatiky / Publications of Department of Computer Science (460) [110]
Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků Katedry informatiky (460) v časopisech a v Lecture Notes in Computer Science registrovaných ve Web of Science od roku 2003 po současnost.