Model-checking Mean-field Models: Algorithms and Applications
Grunddaten zum Promotionsverfahren
Promotionsverfahren erfolgt(e) an: Promotionsverfahren an anderer Universität (NICHT Universität Münster)
Zeitraum: bis 17.12.2014
Status: abgeschlossen
Promovend*in: Kolesnischenko, Anna
Abschlusshochschule: Universität Twente
Abschlussgrad: Dr.
Betreuer*innen: Haverkort, Boudewijn R.
De Boer, Pieter-Tjerk
Betreuung an der Universität Münster
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |