On the Complexity of Branching Modular Model Checking (Extended Abstract).

Orna Kupferman, Moshe Y. Vardi

Browse the full CONCUR paper archive.