News and Events: Upcoming Events

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

19 April 2007, PROSE Colloquium, Bas Luttik

Speaker: Bas Luttik
Title: Branching Bisimulation Equivalence with Explicit Divergence
Date: Thursday 19 April 2007
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.