Model Checking and Abstraction (1994)

by Edmund M Clarke, Orna Grumberg, David E Long
Venue:ACM Transactions on Database Systems