Symbolic model checking: states and beyond (1992)

by J Burch, E Clarke, D Dill, L Hwang, K McMillan
Venue:Information and Computation