Fulltext

The 2008 CAV Award citation

Bryant, R. ; Grumberg, O. ; Henzinger, T. ; Vardi, M.

In: Formal Methods in System Design, 2009, vol. 35, no. 1, p. 4-5

Ajouter à la liste personnelle
    Titre
    • The 2008 CAV Award citation
    Auteur
    • Bryant, R.. Carnegie-Mellon University, Pittsburgh, PA, USA
    • Grumberg, O.. The Technion, Haifa, Israel
    • Henzinger, T.. EPFL, Lausanne, Switzerland
    • Vardi, M.. Rice University, Houston, TX, USA
    Type de document
    • Postprint
    Langue
    • Anglais
    Publié dans
    • Formal Methods in System Design, 2009, vol. 35, no. 1, p. 4-5. Springer US; http://www.springer-ny.com
    Autre version électronique
    Classification
    • Technologie, Sciences de l'ingénieur
    Identifiant OAI-PMH
    • oai:doc.rero.ch:318981