Authors: A.Prasad Sistla

Citation: A.prasad Sistla, Safety,liveness and fairness in temporal logic, Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 495-511