Workshop: Two decades of probabilistic verification - reflections and perspectives

Datum 12 nov. 2007 - 16 nov. 2007
Lokatie UL (Leiden)
Omschrijving wetenschappelijke organisatoren:
H. Hermanns, Universiteit van Saarland
C. Baier, Universiteit van Dresden
B. Haverkort, Universiteit Twente
J.P. Katoen, RWTH, Aachen
M. Siegle, University of the Federal Armed Forces
F. Vaandrager, Radboud Universiteit, Nijmegen

Logistieke organisatie: Y. van der Deijl
Meer informatie http://www.lorentzcenter.nl/lc/web/2007/272/info.php3?wsid=272
Geplaatst door KWG website