0 citations0 referencesGoogle Scholardoi.orgRecognizing safety and livenessDistributed Computing·1987·Vol. 2(3), pp. 117–126Citations Over TimeTop 10% of 1987 papersBowen Alpern, Fred B. SchneiderRelated Papers→ Recognizing safety and liveness(1987)551 cited→ Improving Pattern-Based LTL Formulas for Automata Model Checking(2008)3 cited→ Do We Need Liveness? – Approximation of Liveness Properties by Safety Properties(2002)1 cited→ Properties for Timed Automata(2011)