E. Allen Emerson, Tom Sadler, Jai Srinivasan. Efficient Temporal Reasoning. In POPL. pages 166-178, 1989.
@inproceedings{EmersonSS89,
title = {Efficient Temporal Reasoning},
author = {E. Allen Emerson and Tom Sadler and Jai Srinivasan},
year = {1989},
tags = {e-science},
researchr = {https://researchr.org/publication/EmersonSS89},
cites = {0},
citedby = {0},
pages = {166-178},
booktitle = {POPL},
}