Campus Event Calendar
Event Entry
What and Who
Linear Hybrid System
Solofo Ramangalahy
MPII
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
Wednesday, 19 February 97
17:00
60 Minutes
46.1 - MPII
24
Saarbrücken
Contact
Solofo Ramangalahy
--email hidden
passcode not visible
logged in users only
Tags, Category, Keywords and additional notes
Talk is based on the article of Alur, Henzinger and Ho: `` Automatic Symbolic Verification of embedded systems´´