Leistungsnachweis
Prüfungskriterien Verifikation und Synthese von Hardware - Wintersemester 04/05
Veranstalter
| Betreuer | Christoph Scholl, Prof. Dr., Lehrstuhl für Betriebssysteme |
| Matthias Büche, Lehrstuhl für Betriebssysteme | |
| Stefan Disch, Lehrstuhl für Betriebssysteme | |
| Tobias Nopper, Lehrstuhl für Betriebssysteme |