liveness, and fairness in temporal logic (1994)

by Safety
Venue:Formal Aspects of Computing