On Model Checking for Non-Deterministic Infinite-State Systems.

E. Allen Emerson, Kedar S. Namjoshi

Browse the full LICS paper archive.