Dr. Matthias Weidlich

Queue Mining


Date: 2017-10-24
Dur: 01:15:12

Temporal Logics


Date: 2009-11-23
Dur: 01:27:35

Soundness - Alternative Prüfung


Date: 2009-11-04
Dur: 01:30:33

How to formalize it


Date: 2009-11-02
Dur: 01:32:33

BPMN nach Petrinetzmapping


Date: 2009-11-02
Dur: 01:26:53

System P

System P...
Date: 2007-05-15
Dur: 00:14:13