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.

Show image information
Show image information
Show image information
Show image information

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

The University for the Information Society