An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract).

Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper

Browse the full CAV paper archive.