Zohar Manna, Amir Pnueli. A Hierarchy of Temporal Properties. In PODC. pages 377-410, 1990. [doi]
@inproceedings{MannaP89, title = {A Hierarchy of Temporal Properties}, author = {Zohar Manna and Amir Pnueli}, year = {1990}, doi = {10.1145/93385.93442}, url = {http://doi.acm.org/10.1145/93385.93442}, researchr = {https://researchr.org/publication/MannaP89}, cites = {0}, citedby = {0}, pages = {377-410}, booktitle = {PODC}, }