A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications.

Antonn Kucera, Philippe Schnoebelen

Browse the full CONCUR paper archive.