Lock-Sensitive Analysis of Parallel Programs
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: to 28/06/2011
Status: completed
Candidate: Lammich, Peter
Doctoral subject: Informatik
Doctoral degree: Dr. rer. nat.
Awarded by: Department 10 - Mathematics and Computer Science
Supervisors: Müller-Olm, Markus
Promovend*in an der Universität Münster
| Lammich, Peter | Institute of Computer Science |
Supervision at the University of Münster
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |