Sebastian Rudolph Institut für Angewandte Informatik und Formale Beschreibungsverfahren - AIFB Karlsruhe Institute of Technology 76128 Karlsruhe GERMANY Phone: +49 (721) 608 7362 Fax: +49 (721) 608 5998 eMail: rudolph@kit.edu
University — LinkedIn — XING — DBLP — Facebook — StudiVZ 2B00F5B4