TY  - RPRT
TI  - Equivalence-Checking on Infinite-State Systems: Techniques and Results
AU  - Antonin Kucera
AU  - Petr Jancar
PY  - 2005
UR  - https://arxiv.org/abs/cs/0505025
ID  - cs/0505025
ER  -