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

Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics