Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Promotion
Improving Explicit Model Checking for Petri Nets
Grunddaten
Betreuer/Gutachter
Einrichtung
Grunddaten
Promovend
Akademischer Grad
Dr.-Ing.
Promotionsgebiet
Informatik
Verleihungsdatum
11.10.2021
Datum der mündlichen Prüfungsleistung
15.09.2021
Betreuer/Gutachter
Prof. Dr. Karsten Wolf, Universität Rostock
Betreuer und Gutachter
Prof. Dr. Jiri Srba, University of Aalborg, Denmark
Gutachter
Einrichtung
Fakultät für Informatik und Elektrotechnik (IEF)