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: January 4, 2010
Language: English
Duration: 01:27:32
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