DMCA

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

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