Seminar SAT-basierte Verfahren im Schaltungsentwurf - Sommersemester 09
Veranstalter
| Dozent | Christoph Scholl, Prof. Dr., Lehrstuhl für Betriebssysteme |
| Betreuer | Florian Pigorsch, Dipl.-Inf., Lehrstuhl für Betriebssysteme |
| Stefan Disch, Lehrstuhl für Betriebssysteme | |
| Tobias Nopper, Lehrstuhl für Betriebssysteme |