Safety and Liveness From a Methodological Point of View

Frank Dederichs, Rainer Weber. Safety and Liveness From a Methodological Point of View. Inf. Process. Lett., 36(1):25-30, 1990.

Abstract

Abstract is missing.