Seminar: 2.01.486 Seminar: Strategien im Model-Checking - Details
You are not logged into Stud.IP.
| Course name |
Seminar: 2.01.486 Seminar: Strategien im Model-Checking |
| Subtitle |
inf487 |
| Course number |
2.01.486 |
|
Semester
|
Sommersemester 2022 |
|
Current number of participants
|
0 |
|
expected number of participants
|
10 |
| Home institute |
Department of Computing Science
|
| Courses type |
Seminar in category Teaching |
| First date |
Wed., 20.04.2022 14:15 - 15:45, Room: A03 2-209 |
| Type/Form |
S |
| Learning organisation |
Wird als Blockseminar angeboten |
| Lehrsprache |
deutsch |
Course location / Course dates
-
Campusmanagementsystem Stud.IP
