Zobrazit minimální záznam

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


Soubory tohoto záznamu

SouboryVelikostFormátZobrazit

K tomuto záznamu nejsou připojeny žádné soubory.

Tento záznam se objevuje v následujících kolekcích

Zobrazit minimální záznam