materials
material download
Verifikation probabilistischer und hybrider Systeme - Winter term 2011/12
organiser
| lecturer | Ralf Wimmer, Dr., Chair of Computer Architecture |
| Bernd Becker, Prof. Dr., Chair of Computer Architecture | |
| assistant | Christian Miller, Dipl.-Inf., Chair of Computer Architecture |