Summary: [Hen91] T.A. Henzinger. The Temporal Specification and Verification of Real­time systems. PhD
thesis, Stanford Univ., 1991.
[HLP90] E. Harel, O. Lichtenstein, and A. Pnueli. Explicit­clock temporal logic. In Proc. 5th
IEEE LICS, 1990.
[HNSY92] T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model­checking for
real­time systems. In Proc. 7th IEEE LICS, 1992.
[Hoo91] J. Hooman. Specification and compositional verification of real­time systems. LNCS
558. Springer, 1991.
[IJTW93] O. Ibarra, T. Jiang, N. Tran, and H. Wang. New decidability results concerning two­
way counter machines and applications. In Proc. 20th ICALP, LNCS. Springer, 1993.
To appear.
[Jah89] F. Jahanian. Verifying properties of systems with variable timing constraints. In
Proc. 10th IEEE RTSS, 1989.
[Koy90] R. Koymans. Specifying real­time properties with metric temporal logic. J. Real­time
Systems, 2:255--299, 1990.
[Kur90] R. P. Kurshan. Analysis of discrete­event coordination. In LNCS 430. Springer, 1990.
[Lam87] L. Lamport. A fast mutual exclusion algorithm. ACM Trans. Computer Systems, 5:1--
11, 1987.
[Lew90] H.R. Lewis. A logic of concrete time intervals. In Proc. 5th IEEE LICS, 1990.
[Lip78] L. Lipshitz. The diophantine problem for addition and divisibility. Trans. AMS,

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania
Henzinger, Thomas A. - Faculté Informatique et Communications, Ecole Polytechnique Fédérale de Lausanne
Vardi, Moshe Y. - Department of Computer Science, Rice University

Collections: Computer Technologies and Information Sciences