MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Deductive Model Checking for Hybrid Systems

Andreas Nonnengart
Max-Planck-Institut für Informatik
AG2 Working Group Seminar
AG 1, AG 2  
AG Audience
-- Not specified --

Date, Time and Location

Wednesday, 21 October 98
11:15
60 Minutes
46.1
024
Saarbrücken

Contact

Uwe Waldmann
--email hidden
passcode not visible
logged in users only