Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Promotion

Deciding Service Substitution - Termination guaranteed 

Grunddaten

Promovend Der Name ist ausschließlich für Nutzer sichtbar, die entweder bei LSF angemeldet sind oder aus dem Netzwerk der Universität Rostock zugreifen.
Akademischer Grad Dr.-Ing.
Promotionsgebiet Theorie der Programmierung
Verleihungsdatum 12.11.2012
Datum der mündlichen Prüfungsleistung 25.10.2012

Betreuer/Gutachter

Prof. Dr. Karsten Wolf, Universität Rostock Betreuer und Gutachter
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin Gutachter
Prof. Dr. Walter Vogler, Universität Augsburg Gutachter

Einrichtung

Fakultät für Informatik und Elektrotechnik (IEF)

Publikation

Deciding service substitution Druckschrift