An Automata-Theoretic Approach to BranchingTime Model Checking (Extended Abstract (1994)

by O Bernholtz, M Y Vardi, P Wolper
Venue:In 6th International Conference on ComputerAided Verification, CAV ’94