Fichiers
Détails
Titre
Model Checking Transactional Memories
Auteur(s)
Guerraoui, Rachid ; Henzinger, Tom ; Singh, Vasu
Publié dans
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
Pages
372–382
Présenté à
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
Date
2008
Autres identifiant(s)
Afficher la publication dans Web of Science
Afficher la publication dans Web of Science
Afficher la publication dans Web of Science
Laboratoires
DCL
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > DCL - Laboratoire de calcul distribué
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2008-02-22