Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon Diese Seite ist nicht in Deutsch verfügbar
Bildinformationen anzeigen
Bildinformationen anzeigen
Bildinformationen anzeigen

Award 2011

Awardee of the International Graduate School of Dynamic Intelligent Systems

Prize categoryDynamic Intelligent Systems
Name of the AwardeeMichael Gerke
Degree and/or affiliationSaarland Universität, Saarbrücken
Honored publicationFully Symbolic Timed Model Checking using Constraint Matrix Diagrams

Die Universität der Informationsgesellschaft