Alternating automata and program verification (1995)

by M Vardi
Venue:Computer Science Today