Show simple item record

dc.contributor.authorKučera, Antonín
dc.contributor.authorJančar, Petr
dc.date.accessioned2006-09-20T12:42:34Z
dc.date.available2006-09-20T12:42:34Z
dc.date.issued2006
dc.identifier.citationTheory and practice of logic programming. 2006, vol. 6, issue 3.en
dc.identifier.issn1471-0684
dc.identifier.urihttp://hdl.handle.net/10084/56289
dc.description.abstractThe 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.isoenen
dc.publisherCambridge University Pressen
dc.relation.ispartofseriesTheory and practice of logic programmingen
dc.relation.urihttp://dx.doi.org/10.1017/S1471068406002651en
dc.subjectbehavioral equivalencesen
dc.subjectinfinite-state systemsen
dc.titleEquivalence-checking on infinite-state systems: Techniques and resultsen
dc.typearticleen
dc.identifier.locationNení ve fondu ÚKen
dc.identifier.doi10.1017/S1471068406002651
dc.identifier.wos000238143400002


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record