Files
Détails
Titre
The 2008 CAV Award citation
Auteur(s)
Bryant, R. E. ; Grumberg, O. ; Henzinger, T. A. ; Vardi, M. Y.
Publié dans
Formal Methods in System Design
Volume
35
Pages
4-5
Date
2009
Editeur
Springer, Springer US; http://www.springer-ny.com
ISSN
0925-9856
1572-8102
1572-8102
Note
National Licences
Laboratoires
MTC
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > MTC - Laboratoire de modèles et théorie de calculs
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Date de création de la notice
2019-08-23