Automated Repair of Utility Constraint Sets

Aktivität: Prüfungs- oder Betreuungstätigkeit › Externe Betreuungs- und Prüfungstätigkeit

Beschreibung

Diplom/Master/Magisterarbeit
Zeitraum1 Jan. 2008 → 30 Apr. 2010
GeprüfterStefan Schippel
Überprüfung stattgefunden am
  • Alpen-Adria-Universität Klagenfurt