On characterization of safety and liveness properties in temporal logic (1985)

by A P Sistla
Venue:In 4th PODC