Promotionen

Eine Methode zur kontrollierten Kontrollflussentfaltung und ihre Anwendung zur Präzisierung petrinetzbasierter Verifikationsmodelle

Promovend Thomas Heinze
Akademischer Grad doctor rerum naturalium
Fachbereich Informatik
Verfahrensabschluss 29.11.2013
Betreuer 1 PD Dr. Wolfram Amme