![]() |
![]() |
|
Courses | ||
![]() |
![]() |
![]() |
![]() |
|
Model Checking |
![]() |
|||
held by: |
Univ.-Prof. Dr. Jan Kretinsky M.Sc. Kush Grover M.Sc. Pranav Ashok M.Sc. Tobias Meggendorfer |
||
held in: | SS 2020 | ||
sws: | 4 | ||
ects: | 8 | ||
more information: | /um/courses/mc/ss2020 | ||
![]() |
![]() |