https://www.dagstuhl.de/02503

09. – 11. Dezember 2002, GI-Dagstuhl Seminar 02503

Validation of Stochastic Systems

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)

Auskunft zu diesem GI-Dagstuhl Seminar erteilt

Heike Clemens

Dokumente

Dagstuhl's Impact: Dokumente verfügbar
Externe Homepage

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.