| Faculté / Département ⤶ |
Répertoire par Unités | Répertoire par Projets | Répertoire des Chercheurs |
| Répertoire par Collaborations | Classement par Domaines | Classement par Frascati | Disciplines CREF |
Prof. Thomas Henzinger :
EPFL
(Computer and Communication Sciences: Models and Theory of Computation)
(Suisse)
Collabore avec l'unité de recherche suivante :
⊿Méthodes formelles et vérification
