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
Hilfe
Suche: Author="Krishnan, Sriram C."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Synthesis of uninitialized systems
Thomas A. Henzinger
,
Sriram C. Krishnan
,
Orna Kupferman
,
Freddy Y.C. Mang
Lecture Notes in Computer Science
2380
, 2002, pp. 644-656
Structural complexity of
\omega
-automata
Sriram C. Krishnan
,
Anuj Puri
,
Robert K. Brayton
Lecture Notes in Computer Science
900
, 1995, pp. 143-156
Deterministic
\omega
automata vis-a-vis deterministic Buchi automata
Sriram C. Krishnan
,
Anuj Puri
,
Robert K. Brayton
Lecture Notes in Computer Science
834
, 1994, pp. 378-386