Fichiers
Détails
Titre
Verifying Concurrent Data Structures Using Data-Expansion
Auteur(s)
Che, Tong ; Guerraoui, Rachid
Pagination
27
Date
2014
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > RISD - Laboratoire pour la conception rigoureuse des systèmes
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > DCL - Laboratoire de calcul distribué
Travail produit à l'EPFL
Rapports techniques
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > DCL - Laboratoire de calcul distribué
Travail produit à l'EPFL
Rapports techniques
Date de création de la notice
2014-06-06