Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

28 January 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Pedro d'Argenio

Speaker: Pedro d'Argenio (Argentina)
Title: Reachability Analysis of Probabilistic Systems by Successive Refinements
Date: Tuesday 28 January 2003
Time: 14:15-16:00
Location: TU Eindhoven, HG 6.96

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne ().

Please note that this newsitem has been archived, and may contain outdated information or links.