Symbolic model checking: states and beyond (1990)

by J Burch, E Clarke, D Dill, L Hwang, K McMillan
Venue:In 5th Conference on Logic In Computer Science (LICS