E. Allen Emerson, Michael Evangelist, Jai Srinivasan. On the Limits of Efficient Temporal Decidability (Extended Abstract). In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 464-475, IEEE Computer Society, 1990.
@inproceedings{EmersonES90,
title = {On the Limits of Efficient Temporal Decidability (Extended Abstract)},
author = {E. Allen Emerson and Michael Evangelist and Jai Srinivasan},
year = {1990},
tags = {e-science},
researchr = {https://researchr.org/publication/EmersonES90},
cites = {0},
citedby = {0},
pages = {464-475},
booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
publisher = {IEEE Computer Society},
}