MPI-I-1999-3-005.pdf (Any fulltext), 380KB
Henzinger, T. A., Raskin, J.-F., & Schobbens, P.-Y.(1999). Axioms for real-time logics (MPI-I-1999-3-005). Saarbrücken: Max-Planck-Institut für Informatik.