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

Show simple item record


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 in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics