Files
Details
Title
The 2008 CAV Award citation
Author(s)
Bryant, R. E. ; Grumberg, O. ; Henzinger, T. A. ; Vardi, M. Y.
Published in
Formal Methods in System Design
Volume
35
Pages
4-5
Date
2009
Publisher
Springer, Springer US; http://www.springer-ny.com
ISSN
0925-9856
1572-8102
1572-8102
Note
National Licences
Laboratories
MTC
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > MTC - Models and Theory of Computation Laboratory
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date
2019-08-23