An Automata-Theoretic Approach to Branching-Time Model Checking (1998)

Cached

Download Links

by Orna Kupferman , Moshe Y. Vardi , Pierre Wolper
Venue:JOURNAL OF THE ACM
Citations:298 - 64 self