Click here to try the alternative player if you are experiencing issues with this one.

Explicit vs. Symbolic Model Checking

Part of the series Business Process Management (WS 2009/10)
Explicit vs. Symbolic Model Checking Prof. Dr. Mathias Weske

Date: 04.01.2010
Duration: 01:27:32
Language: en
tele-TASK now provides the ability to create playlists. You can create your own playlist based on this lecture or view playlists containing this lecture.
Show