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

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

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.