Sebastian Kenter
No current affiliations available for this person. The person is no longer active at the university.
Doctorates
| Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Candidate: Kenter, Sebastian | Supervisors: Müller-Olm, Markus | Reviewers: Müller-Olm, Markus; Remke, Anne Period of time: 02/04/2012 - 11/07/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |