Seminar: Theoretical Foundations of Model Checking - winter term 06/07

organiser

lecturer	Bernd Becker, Prof. Dr., Chair of Computer Architecture
organizer	Ilia Polian, Dr., Chair of Computer Architecture
	Jochen Eisinger, Dipl.-Inf., Chair of Computer Architecture
	Ralf Wimmer, Dipl.-Inf., Chair of Computer Architecture
	Marc Herbstritt, Dipl.-Inf., Chair of Computer Architecture