Es gelten die rechtlichen Hinweise im Impressum des KIT.
Dr.-Ing. Gunther Schiefer
Web: http://www.aifb.kit.edu/web/Gunther_Schiefer
E-Mail: gunther.schiefer@kit.edu
Karlsruher Institut für Technologie (KIT)
Institut für Angewandete Informatik und Formale Beschreibungsverfahren (AIFB)