W.: A partial order approach to branching time logic model checking (1999)

by R Gerth, R Kuiper, D Peled, Penczek
Venue:Information and Computation