Award 2011
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 |