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 Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science