Equivalence-Checking on Infinite-State Systems: Techniques and Results
计算机科学中的逻辑
2007-05-23 v1
摘要
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).
引用
@article{arxiv.cs/0505025,
title = {Equivalence-Checking on Infinite-State Systems: Techniques and Results},
author = {Antonin Kucera and Petr Jancar},
journal= {arXiv preprint arXiv:cs/0505025},
year = {2007}
}