Symbolic model checking: 10 20 states and beyond (1992)

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