http://www.dagstuhl.de/02503

December 9 – 11 , 2002, GI-Dagstuhl Seminar 02503

Validation of Stochastic Systems

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)

For support, please contact

Heike Clemens

Documents

Dagstuhl's Impact: Documents available
External Homepage

Online Publications

We offer several possibilities to publish the results of your event. Please contact marc.herbstritt(at)dagstuhl.de if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.