Model-checking Mean-field Models: Algorithms and Applications
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at another university (NOT University of Münster)
Period of time: to 17/12/2014
Status: completed
Candidate: Kolesnischenko, Anna
University of graduation: University of Twente
Doctoral degree: Dr.
Supervisors: Haverkort, Boudewijn R.
De Boer, Pieter-Tjerk
Supervision at the University of Münster
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |