Another Look at LTL Model Checking (1994)

by E. Clarke, O. Grumberg, K. Hamaguchi
Venue:FORMAL METHODS IN SYSTEM DESIGN