Reasoning about Infinite Computation Paths (Extended Abstract)

Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla. Reasoning about Infinite Computation Paths (Extended Abstract). In 24th Annual Symposium on Foundations of Computer Science, 7-9 November 1983, Tucson, Arizona, USA. pages 185-194, IEEE, 1983.

Abstract

Abstract is missing.