Model checking and abstraction (1994)

by Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria
Venue:ACM Transactions on Programming Languages and Systems