Stability Proofs for Hybrid Systems

Wagner, Silke

Lokale TagsFreigabegeschichteDetailsÜbersicht

Stability Proofs for Hybrid Systems

Wagner, S. (2008). Stability Proofs for Hybrid Systems. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-B5BB-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-760C-B

Genre: Hochschulschrift

Dateien

einblenden: Dateien

ausblenden: Dateien

:

2008_Silke_Wagner_Dissertation.pdf (beliebiger Volltext), 630KB

Datei-Permalink:
-

Name:
2008_Silke_Wagner_Dissertation.pdf

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Eingeschränkt (Max Planck Institute for Informatics, MSIN; )

MIME-Typ / Prüfsumme:
application/pdf

Technische Metadaten:

Copyright Datum:
-

Copyright Info:
-

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Wagner, Silke^{1, 2, 3}, Autor
Podelski, Andreas¹, Ratgeber
Finkbeiner, Bernd⁴, Gutachter

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551
3Automation of Logic, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116545
4External Organizations, ou_persistent22

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Angenommen: 2008-10-31Online veröffentlicht: 2008Erschienen: 2008

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Wagner2008

Art des Abschluß: Doktorarbeit

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle