MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Verifikation parametrischer Systeme mit dem MOSEL-Toolset

Tiziana Margaria
Universität Dortmund
Logik-Seminar
AG 1, AG 2  
AG Audience
-- Not specified --

Date, Time and Location

Friday, 20 November 98
11:15
-- Not specified --
46.1
024
Saarbrücken

Contact

Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only