Oberseminar Verifikation Eingebetteter Systeme - Sommersemester 08

Veranstalter

Dozent	Christoph Scholl, Prof. Dr., Lehrstuhl fÃ¼r Betriebssysteme
Assistent	Stefan Disch, Lehrstuhl fÃ¼r Betriebssysteme
	Tobias Nopper, Lehrstuhl fÃ¼r Betriebssysteme
	Florian Pigorsch, Dipl.-Inf., Lehrstuhl fÃ¼r Betriebssysteme
	Thorsten Zitterell, Dipl.-Inf., Lehrstuhl fÃ¼r Betriebssysteme