Model checking and abstraction (1994)

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