2021

Ronny Tredup

Zur Komplexität der Synthese von Petri-Netzen

Torsten Liebke

Improving Explicit Model Checking for Petri Nets

2016

Kathrin Kaschner

Behavioral Testing of Services

2010

Daniela Weinberg

Deciding Service Substitution – Termination guaranteed

Niels Lohmann

Correctness of Services and their Composition