An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications.

Orna Grumberg, Orna Kupferman, Sarai Sheinvald

Browse the full ATVA paper archive.