Automatic Verification of finite state concurrent systems using temporal logic specifications (0)

by E M Clarke, E A Emerson, A P Sistla
Venue:In ACM TOPLA