Click here to try the HTML5 player.
Explicit vs. Symbolic Model Checking

Explicit vs. Symbolic Model Checking

Part of the series Business Process Management (WS 2009/10)
Prof. Dr. Mathias Weske

Date: 04.01.2010
Duration: 01:27:32
Language: en