Materialien
Vorlesungsmaterial
Leistungsnachweis
Blockseminar
Seminar: Techniques for the Verification of Probabilistic or Timed Automata - Sommersemester 2011
Blockseminar
| Zeit | Mi 10.8.2011 u. Do 11.8.2011, 9--13.30 Uhr s.t. |
| Ort | Besprechungsraum 051..00.026 |