Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Kutty, G."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Interval logics and their decision procedures - Part I: An interval logic
Y.S. Ramakrishna
,
P.M. Melliar-Smith
,
L.E. Moser
,
L.K. Dillon
,
G. Kutty
Theoretical Computer Science
166
(1-2), 1996, pp. 1-47
Interval logics and their decision procedures - Part II: A real-time interval logic
Y.S. Ramakrishna
,
P.M. Melliar-Smith
,
L.E. Moser
,
L.K. Dillon
,
G. Kutty
Theoretical Computer Science
170
(1-2), 1996, pp. 1-46
A real-time interval logic and its decision procedure
Y.S. Ramakrishna
,
L.K. Dillon
,
L.E. Moser
,
P.M. Melliar-Smith
,
G. Kutty
Lecture Notes in Computer Science
761
, 1993, pp. 173-192
An automata-theoretic decision procedure for Future Interval Logic
Y.S. Ramakrishna
,
L.K. Dillon
,
L.E. Moser
,
P.M. Melliar-Smith
,
G. Kutty
Lecture Notes in Computer Science
652
, 1992, pp. 51-67