Please note that this newsitem has been archived, and may contain outdated information or links.
4 November 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Suzana Andova
Speaker: Suzana Andova
(Twente)
(Twente)
Title: Discrete-time rewards model-checked
Date: Tuesday 4 November 2003
Time: 14:15-16:00
Location: Auditorum 12, TU Eindhoven
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
Please note that this newsitem has been archived, and may contain outdated information or links.