WINTER 06/07
 | ||
|
In the winter term 2006/07 we offer:
 | Stammvorlesung: Verification |
| Vertiefungsvorlesung: Stochastic Hybrid Systems |
| Seminar: Computation in Systems Biology |
|
WINTER 06/07 |
|
||||||
In the winter term 2006/07 we offer:
|
||||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||||