Contact
Teaching
 |
 |
|
| Courses | ||
 |
 |
|
|
|
| Übung zu Model Checking |
 |
||||||||||||||||||||||||||||||
| held by: |
Dipl.-Inf. Michael Tautschnig Dr. Christian Schallhart Dr. Johannes Kinder Dr. Stefan Kugele Dipl.-Inf. (FH) Andreas Holzer, M. Sc. |
|||||||||||||||||||||||||||||
| held in: | SS 2007 | |||||||||||||||||||||||||||||
| schedule: | Wednesday, 10:00 - 11:30 (03.09.014) start date: 2007-05-09 / end date: 2007-07-21 |
|||||||||||||||||||||||||||||
| news: | Am Mittwoch den 4. Juli muss die Übung aus organisatorischen Gründen entfallen. | |||||||||||||||||||||||||||||
| sws: | 2 | |||||||||||||||||||||||||||||
| Bei Fragen wenden Sie sich bitte an courses.mc@model.in.tum.de. | ||||||||||||||||||||||||||||||
| downloadable material: | ||||||||||||||||||||||||||||||
problem sets
|
||||||||||||||||||||||||||||||
solution sets
|
||||||||||||||||||||||||||||||
 |
 |
|||||||||||||||||||||||||||||
