Campus Event Calendar
Event Entry
What and Who
Boolean Equivalence Checking at IBM
A. Kühlmann und F. Krohm
Talk
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 15 May 97
16:00
60 Minutes
Bau 13
HS -1.03
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only