Neumann, René
CAVA – A Verified Model Checker
2017
Dissertation
141 Seiten

Hoffmann, Philipp Emanuel
Workflow Nets
2017
Dissertation
128 Seiten