Summer Term 2013

 

Course Teacher
Vorlesung:
Modelling and analysis of hybrid systems		 Ábrahám, Chen
Seminar: Satisfiability Checking Ábrahám, Giesl, Brockschmidt, Corzilius, Emmes, Jansen, Loup, Nellen, Otto, Schupp, Ströder