Symbolic model checking: states and beyond (1992)

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