Automatic veri of concurrent systems using temporal logic speci State/Event-based Software Model Checking 19 (1986)

by E M Clarke, E A Emerson, A P Sistla
Venue:In Computer Aided Veri