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

by A P Sistla
Venue:In PODC '85: Proceedings of the fourth annual ACM symposium on Principles of distributed computing