Avoiding the state explosion problem in temporal logic model checking. (1987)

by E Clarke, O Grumber
Venue:Annual ACM Symposium on Principles of Distributed Computing,