A | |
---|---|
[AH92] | Rajeev Alur and
Thomas A. Henzinger.
Logics and Models of Real Time: A Survey.
In REX'91,
Lecture Notes in Computer Science 600, pages 74-106. Springer-Verlag, 1992.
|
Search
Displayed 1 resultList of authors
- 1
- 1
A | |
---|---|
[AH92] | Rajeev Alur and
Thomas A. Henzinger.
Logics and Models of Real Time: A Survey.
In REX'91,
Lecture Notes in Computer Science 600, pages 74-106. Springer-Verlag, 1992.
|