Avoiding the State Explosion Problem (0)

by E M Clarke, O Grumberg
Venue:In Temporal Model Checking, PODC87