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)

Jancar, Petr

Kucera, Antonin

Theory and Practice of Logic Programming

English

arXiv

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)

Kučera, Antonín

Jančar, Petr

DSpace at VSB Technical University of Ostrava

Equivalence-checking on infinite-state systems: Techniques and results

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

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

Abstract

Similar works

Full text

Available Versions

DSpace at VSB Technical University of Ostrava