Jens Mller

• Strukturbasierte verifikation von bpmn-modellen