Automatic veri of concurrent systems using temporal logic speci (1986)

by E M Clarke, E A Emerson, A P Sistla
Venue:ACM Transactions on Programming Languages and System (TOPLAS