Sebastian Kenter
Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.
Promotionen
| Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Promovend*in: Kenter, Sebastian | Betreuer*innen: Müller-Olm, Markus | Gutachter*innen: Müller-Olm, Markus; Remke, Anne Zeitraum: 02.04.2012 - 11.07.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |