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.
| Awardee of the International Graduate School of Dynamic Intelligent Systems | |
|---|---|
| Prize category | Dynamic Intelligent Systems |
| Name of the Awardee | Michael Gerke |
| Degree and/or affiliation | Saarland Universität, Saarbrücken |
| Honored publication | Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams |
The University for the Information Society
