Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. (1986)

by E M Clarke, E A Emerson, A P Sistla
Venue:In ACM Transactions on Programming Languages and Systems (TOPLAS).