Contact
Teaching
 |
 |
|
| Courses | ||
 |
 |
|
|
|
| Model Checking |
 |
||||||||||||||||||||||||||||||||||||||||||
| held by: |
Univ.-Prof. Dr. Helmut Veith † |
|||||||||||||||||||||||||||||||||||||||||
| held in: | SS 2006 | |||||||||||||||||||||||||||||||||||||||||
| schedule: | Wednesday, 09:30 - 12:00 (MI 03.09.014) start date: 2006-05-03 / end date: 2006-07-29 Thursday, 12:15 - 13:45 (MI 03.09.014) start date: 2006-05-03 / end date: 2006-07-29 |
|||||||||||||||||||||||||||||||||||||||||
| news: | Die Vorlesung am 26.7. (letzter Termin) entfällt! | |||||||||||||||||||||||||||||||||||||||||
| downloadable material: | ||||||||||||||||||||||||||||||||||||||||||
slides
|
||||||||||||||||||||||||||||||||||||||||||
 |
 |
|||||||||||||||||||||||||||||||||||||||||
