Please note that this newsitem has been archived, and may contain outdated information or links.
30 October 2008, PROSE Colloquium, Francien Dechesne
Speaker: Francien Dechesne
Title: Refinement of Kripke Models for Dynamics
Date: Thursday 30 October 2008
Time: 15:30-16:30
Location: Room 6.96, HG (Main Building), TU Eindhoven
For more information, see http://www.win.tue.nl/prose/
Please note that this newsitem has been archived, and may contain outdated information or links.