Automatic Veri - cation of Finite State Concurrent Systems Using Temporal Logic Speci cations: A Practical Approach (1983)

by E M Clarke, E A Emerson, A P Sistla
Venue:In Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages