WINTER 06/07

Im Wintersemester 2006/07 werden wir anbieten:


Stammvorlesung: Verification
Vertiefungsvorlesung: Stochastic Hybrid Systems
Seminar: Computation in Systems Biology