Selected papers that cite this one
- Rajeev Alur, Tomás Feder, and Thomas A. Henzinger. The benefits of relaxing punctuality. Journal of the ACM, 43(1):116-146, January 1996.
- R. Alur, A. Itai, R. P. Kurshan, and M. Yannakakis. Timing verification by successive approximation. Information and Computation, 118(1):142-157, April 1995.
- Christoph Brzoska. Programming in metric temporal logic. Theoretical Computer Science, 202(1-2):55-125, 28 July 1998. Fundamental Study.
- Michael Kaminski and Chung Kei Wong. The power of the ``always'' operator in first-order temporal logic. Theoretical Computer Science, 160(1-2):271-281, 10 June 1996.
Selected references
- Rajeev Alur, Costas Courcoubetis, and David Dill. Model-checking for real-time systems. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 414-425, Philadelphia, Pennsylvania, 4-7 June 1990. IEEE Computer Society Press.
- Rajeev Alur and Thomas A. Henzinger. A really temporal logic. In 30th Annual Symposium on Foundations of Computer Science, pages 164-169, Research Triangle Park, North Carolina, 30 October-1 November 1989. IEEE.
- Rajeev Alur and Thomas A. Henzinger. Real-time logics: Complexity and expressiveness. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 390-401, Philadelphia, Pennsylvania, 4-7 June 1990. IEEE Computer Society Press.
- Eyal Harel, Orna Lichtenstein, and Amir Pnueli. Explicit clock temporal logic. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 402-413, Philadelphia, Pennsylvania, 4-7 June 1990. IEEE Computer Society Press.
- Amir Pnueli. The temporal logic of programs. In 18th Annual Symposium on Foundations of Computer Science, pages 46-57, Providence, Rhode Island, 31 October-2 November 1977. IEEE.