Equivalence-Checking on Infinite-State Systems: Techniques and Results

Simple item page
dc.creatorKucera, Antonin
dc.creatorJancar, Petr
dc.date2005-05-10
dc.date.accessioned2026-07-07T03:22:58Z
dc.date.available2026-07-07T03:22:58Z
dc.descriptionThe 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).
dc.identifierhttps://arxiv.org/abs/cs/0505025
dc.identifierhttp://arxiv.org/abs/cs/0505025
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32764
dc.subjectLogic in Computer Science
dc.titleEquivalence-Checking on Infinite-State Systems: Techniques and Results
dc.typetext

Files

Collections

arXiv