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

by E M Clarke, E A Emerson, A P Sistla
Venue:ACM Transactions on Database Systems