On the Complexity of Branching Modular Model Checking (1995)

by O AND VARDI KUPFERMAN, M Y
Venue:In 6thInternational Conference on Concurrency Theory (CONCUR