GI-Dagstuhl Seminar 02503
Validation of Stochastic Systems
( Dec 09 – Dec 11, 2002 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/02503
Organizers
- Christel Baier (TU Dresden, DE)
- Boudewijn Haverkort (University of Twente, NL)
- Holger Hermanns (Universität des Saarlandes, DE)
- Joost-Pieter Katoen (RWTH Aachen, DE)
