Model checking and abstraction, (1994)

by E M Clarke, O Grumberg, D E Long
Venue:ACM Trans. Program. Lang. Syst.