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 Programming Languages and Systems
Citations:1173 - 58 self