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.
@inproceedings{WolperVS83, title = {Reasoning about Infinite Computation Paths (Extended Abstract)}, author = {Pierre Wolper and Moshe Y. Vardi and A. Prasad Sistla}, year = {1983}, researchr = {https://researchr.org/publication/WolperVS83}, cites = {0}, citedby = {0}, pages = {185-194}, booktitle = {24th Annual Symposium on Foundations of Computer Science, 7-9 November 1983, Tucson, Arizona, USA}, publisher = {IEEE}, }