![]() |
![]() |
|
Courses | ||
![]() |
![]() |
![]() |
![]() |
|
Übung zu Model Checking |
![]() |
|||
held by: |
Prof. Dr. habil. Martin Leucker |
||
held in: | SS 2009 | ||
schedule: | Thursday, 12:45 - 14:15 (MI 03.09.014) start date: 2009-04-23 / end date: 2009-07-23 |
||
sws: | 2 | ||
![]() |
![]() |