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

Hoffmann, Philipp Emanuel
Workflow Nets
2017
Dissertation
128 p.