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

by R Gerth, R Kuiper, D Peled, W Penczek
Venue:Inf. Comput