Symbolic model checking: 1020 states and beyond (1992)

by J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang
Venue:Inf. Comp