Wirtschaftsmathematik und -informatik, IT-ManagementJens Müller ×Vieweg & Teubner × Strukturbasierte Verifikation von BPMN-Modellen Jens MüllerVieweg & TeubnerSoftcover2011