Fundamenta Informaticae > 2004 > Vol. 62, nr 1 > 1--28
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[AD94] R. Alur, D. Dill A theory of timed Automata. Theoretical Computer Science 126 (1994), 183-235.
-
[AFH96] R. Alur, T. Feder, T. A. Henzinger. The Benefits of Relaxing Punctuality. Journal of the ACM 43 (1996) 116-146.
-
[AH92] R. Alur, T. A. Henzinger. Logics and Models of Real Time: a survey. In Real Time: Theory and Practice. Editors de Bakker et al. LNCS 600 (1992) 74-106.