Antonín Kucera. On Simulation-Checking with Sequential Systems. In Jifeng He, Masahiko Sato, editors, Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings. Volume 1961 of Lecture Notes in Computer Science, pages 133-148, Springer, 2000. [doi]
Abstract is missing.