Veröffentlichungen

Eine Liste meiner Publikationen:

RestDoc Spezifikation (klick)

Diplomarbeit: Ein TaskManager für PerFlows (klick)

Paper PDMC 2009: MC-LAB: A Model Checking Laboratory (klick)

Studienarbeit: Model Checking Plattform (klick)