Logics and Models of Real-Time: A Survey

R. Alur and T. Henzinger. Logics and Models of Real-Time: A Survey. In Real Time: Theory in Practice, pp. 74–106, Springer-Verlag, 1992.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{alur92:_logic_model_real_time,
  author = {R. Alur and T. Henzinger},
  title = {Logics and Models of Real-Time: A Survey},
  booktitle = {Real Time: Theory in Practice},
  year = {1992},
  volume = {600},
  pages = {74--106},
  publisher = {Springer-Verlag},
}