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

Cached

Download Links

by Orna Kupferman , Moshe Y. Vardi
Citations:19 - 9 self