To content
Department of Computer Science
Mario Günzel successfully defended his Dissertation with Distinction (summa cum laude).

Mario Günzel successfully defended his Dissertation.

© Copyright @ Michael Günzel
Mario Günzel successfully defended his Dissertation with Distinction (summa cum laude).

Mario Günzel successfully defended his Dissertation -  Property-Based Timing Analysis of Distributed Real-Time Systems - with Distinction (summa cum laude). 

The dissertation is available here: https://eldorado.tu-dortmund.de/items/5effe237-365b-4382-8410-4f05bf0f07f8