materials
material download
Seminar: Model Checking - Probabilistische und Echtzeitaspekte - Summer Term 2010
organiser
| lecturer | Daniel Große, Dr., University of Bremen |
| assistant | Christian Miller, Dipl.-Inf., Chair of Computer Architecture |
| Ralf Wimmer, Dipl.-Inf., Chair of Computer Architecture |