Strukturbasierte verifikation von bpmn-modellen by Jens Mller | Menrva Books | MenrvaBooks