Teaching

• winter term 2008/09
  • Seminar: Satisfiability Modulo Theories
• summer term 2007
  • Seminar: Methoden der Verifikation
• winter term 2006/07
  • Seminar: Theoretical Foundations of Model Checking
• summer term 2006
  • Seminar: Sichere Funknetze (WLAN 802.11)
• winter term 2005/06
  • Seminar: Advanced Model Checking

Last update: 2008-11-22
Copyright © Jochen Eisinger. Valid XHTML 1.1.