E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan. Quantitative Temporal Reasoning. Real-Time Systems, 4(4):331-352, 1992.
@article{EmersonMSS92,
title = {Quantitative Temporal Reasoning},
author = {E. Allen Emerson and Aloysius K. Mok and A. Prasad Sistla and Jai Srinivasan},
year = {1992},
tags = {e-science},
researchr = {https://researchr.org/publication/EmersonMSS92},
cites = {0},
citedby = {0},
journal = {Real-Time Systems},
volume = {4},
number = {4},
pages = {331-352},
}