Niels Lohmann

Niels Lohmann

Pragmatic Model Checking: From Theory to Implementation

Date: 2013-12-03
Dur: 01:23:51

State Space Reduction Techniques to Verify Business Processes

Date: 2010-01-11
Dur: 01:11:42

1