WINTER 06/07

In the winter term 2006/07 we offer:


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