materials
material download
Verifikation probabilistischer Systeme - Summer Term 2014
organiser
| lecturer | Ralf Wimmer, Dr., Chair of Computer Architecture |
| Bernd Becker, Prof. Dr., Chair of Computer Architecture | |
| assistant | Dominik Erb, M. Sc., Chair of Computer Architecture |