On the Limits of Efficient Temporal Decidability (Extended Abstract)

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.

Abstract

Abstract is missing.