L.J.: Symbolic model checking: 10 20 states and beyond. Inf Comput 98(2 (1992)

by J R Burch, E M Clarke, K L McMillan, D L Dill, Hwang