Equivalence-Checking on Infinite-State Systems: Techniques and Results
<|reference_start|>Equivalence-Checking on Infinite-State Systems: Techniques and Results: 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).<|reference_end|>
@article{kucera2005equivalence-checking,
    title={Equivalence-Checking on Infinite-State Systems: Techniques and Results},
    author={Antonin Kucera and Petr Jancar},
    journal={arXiv preprint arXiv:cs/0505025},
    year={2005},
    archivePrefix={arXiv},
    eprint={cs/0505025},
    primaryClass={cs.LO}
}