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.
No reviews for this publication, yet.