Automatic Verification of Parameterized Synchronous Systems (Extended Abstract).

E. Allen Emerson, Kedar S. Namjoshi

Browse the full CAV paper archive.