Symbolic model checking: 10 states and beyond (1990)

by J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang
Venue:in Proc. IEEE Symp. Logic Comp. Sci