Summer Term 2013

Course Teacher
Vorlesung:
Modelling and analysis of hybrid systems
Ábrahám, Chen
Seminar: Satisfiability Checking ÁbrahámGiesl, Brockschmidt, Corzilius, Emmes, JansenLoupNellen, Otto, SchuppStröder