An Automata-Theoretic Approach to Modular Model Checking (1998)

Cached

Download Links

by Orna Kupferman , Moshe Y. Vardi
Citations:17 - 0 self