Equivalence-Checking with Infinite-State Systems: Techniques and Results.

Antonn Kucera, Petr Jancar

Browse the full SOFSEM paper archive.