Summary: [Hen91] T.A. Henzinger. The Temporal Specification and Verification of Realtime systems. PhD
thesis, Stanford Univ., 1991.
[HLP90] E. Harel, O. Lichtenstein, and A. Pnueli. Explicitclock temporal logic. In Proc. 5th
IEEE LICS, 1990.
[HNSY92] T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic modelchecking for
realtime systems. In Proc. 7th IEEE LICS, 1992.
[Hoo91] J. Hooman. Specification and compositional verification of realtime 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.
[Jah89] F. Jahanian. Verifying properties of systems with variable timing constraints. In
Proc. 10th IEEE RTSS, 1989.
[Koy90] R. Koymans. Specifying realtime properties with metric temporal logic. J. Realtime
Systems, 2:255--299, 1990.
[Kur90] R. P. Kurshan. Analysis of discreteevent coordination. In LNCS 430. Springer, 1990.
[Lam87] L. Lamport. A fast mutual exclusion algorithm. ACM Trans. Computer Systems, 5:1--
[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,