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

dc.contributor.author	Kučera, Antonín
dc.contributor.author	Jančar, Petr
dc.date.accessioned	2006-09-20T12:42:34Z
dc.date.available	2006-09-20T12:42:34Z
dc.date.issued	2006
dc.identifier.citation	Theory and Practice of Logic Programming. 2006, vol. 6, issue 3.	en
dc.identifier.issn	1471-0684
dc.identifier.uri	http://hdl.handle.net/10084/56289
dc.description.abstract	The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).	en
dc.language.iso	en	en
dc.publisher	Cambridge University Press	en
dc.relation.ispartofseries	Theory and Practice of Logic Programming	en
dc.relation.uri	http://dx.doi.org/10.1017/S1471068406002651	en
dc.subject	behavioral equivalences	en
dc.subject	infinite-state systems	en
dc.title	Equivalence-checking on infinite-state systems: Techniques and results	en
dc.type	article	en
dc.identifier.location	Není ve fondu ÚK	en
dc.identifier.doi	10.1017/S1471068406002651
dc.identifier.wos	000238143400002

Soubory tohoto záznamu

Soubory	Velikost	Formát	Zobrazit
K tomuto záznamu nejsou připojeny žádné soubory.

Publikační činnost VŠB-TUO ve Web of Science / Publications of VŠB-TUO in Web of Science [7798]
Kolekce obsahuje bibliografické záznamy článků akademických pracovníků VŠB-TUO publikovaných v časopisech indexovaných ve Web of Science od roku 1990 po současnost.
Publikační činnost Katedry informatiky / Publications of Department of Computer Science (460) [562]
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.