L | |
---|---|
[LS94] | François Laroussinie and
Philippe Schnoebelen.
A Hierarchy of Temporal Logics with Past.
In STACS'94,
Lecture Notes in Computer Science 775, pages 47-58. Springer-Verlag, February 1994.
|
Search
Displayed 1 resultList of authors
- 1
- 1
L | |
---|---|
[LS94] | François Laroussinie and
Philippe Schnoebelen.
A Hierarchy of Temporal Logics with Past.
In STACS'94,
Lecture Notes in Computer Science 775, pages 47-58. Springer-Verlag, February 1994.
|