Symbolic Algorithms for Infinite-State Games (2001)

by L DE ALFARO, T A HENZINGER, R MAJUMDAR
Venue:Proc. 12th International Conference on Concurrency Theory (CONCUR’01