Verifikation eingebetteter Systeme - Winter term 2012/13

organiser

lecturer	Ralf Wimmer, Dr., Chair of Computer Architecture
	Paolo Marin, PhD, Chair of Computer Architecture
	Bernd Becker, Prof. Dr., Chair of Computer Architecture
assistant	Karsten Scheibler, Dipl.-Inf., Chair of Computer Architecture