Campus Event Calendar
Event Entry
New for: D3
What and Who
A uniform constraint-based frameworkfor the Verification of Infinite State Systems
Supratik Mukhopadhyay
Max-Planck-Institut für Informatik - AG 2
Promotionskolloquium
AG 1, AG 2, AG 3, AG 4
Expert Audience
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 22 May 2001
16:00
-- Not specified --
46.1 - MPII
024
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only