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:354 - 66 self