materials
material download
activity confirmation
Block seminar
Seminar: Techniques for the Verification of Probabilistic or Timed Automata - Summer Term 2011
Block seminar
| time | Wed 10.8.2011 and Th 11.8.2011, 9--13.30 h s.t. |
| location | Besprechungsraum 051..00.026 |