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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.