Computation Trees & Model Checking

Part of the series Business Process Compliance (WT 2013/14)
Computation Trees & Model Checking Dr. Matthias Kunze

Date: November 18, 2013
Language: English
Duration: 01:17:40
Copy link to current video position
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