GI-Dagstuhl-Seminar 02503
Validation of Stochastic Systems
( 09. Dec – 11. Dec, 2002 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/02503
Organisatoren
- Christel Baier (TU Dresden, DE)
- Boudewijn Haverkort (University of Twente, NL)
- Holger Hermanns (Universität des Saarlandes, DE)
- Joost-Pieter Katoen (RWTH Aachen, DE)
