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
Bildinformationen anzeigen

Award 2010

Awardee of the International Graduate School of Dynamic Intelligent Systems

Prize categoryDynamic Intelligent Systems
Name of the AwardeePhilipp Wendler
Degree and/or affiliationUniversität Passau
Honored publicationPredicate Abstraction with Adjustable-Block Encoding, International Conference on Format Methods in Computer-Aided Design (FMCAD 2010)

Die Universität der Informationsgesellschaft