Institut für Angewandte Informatik und Formale Beschreibungsverfahren [Karlsruhe] Laboratoire102603

AIFBD-76049 Karlsruhe Allemagnehttp://www.aifb.kit.edu/web/Hauptseite

 Universität Karlsruhe Institution301792

THUniversität Karlsruhe (TH) 76128 Karlsruhe Allemagnehttp://www.uni-karlsruhe.de