Seminar: Techniques for the Verification of Probabilistic or Timed Automata - Summer Term 2011

organiser

lecturer	Bernd Becker, Prof. Dr., Chair of Computer Architecture
assistant	Paolo Marin, M.Sc. (Eng), Chair of Computer Architecture