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 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language

Promotion

Improving Explicit Model Checking for Petri Nets 

Grunddaten

Promovend Der Name ist ausschließlich für Nutzer sichtbar, die entweder bei LSF angemeldet sind oder aus dem Netzwerk der Universität Rostock zugreifen.
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)