Business Process Compliance (ST 2012) Modeling Concurrent Systems Modeling Concurrent Systems & Temporal Logics

Modeling Concurrent Systems & Temporal Logics

Part of the series Business Process Compliance (ST 2012)
Modeling Concurrent Systems & Temporal Logics Prof. Dr. Mathias Weske

Date: May 7, 2012
Language: English
Duration: 01:33:39
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