Transitive Closures of Regular Relations for Verifying Infinite-State Systems.

Bengt Jonsson, Marcus Nilsson

Browse the full TACAS paper archive.