On Characterization of Safety and (1985)

by A P Sistla
Venue:Liveness Properties in Temporal Logic