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

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

 Universität Karlsruhe Institution301792

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