Please note that this newsitem has been archived, and may contain outdated information or links.
19 November 2009, PROSE Colloquium, Jeroen Keiren (OAS)
Speaker: Jeroen Keiren (OAS)
Title: Bisimulation minimisations for boolean equation systems
Date: Thursday 19 November 2009
Time: 15:45-16:45
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.