Français
English
Recherche
Browse Collections
Aide
Français
English
identification
identification
Accueil
> >
Verification of STM on relaxed memory models
> Accès aux Fichiers
Informations
Statistiques d'utilisation
Fichiers
Verification of STM on relaxed memory models
-
Guerraoui, Rachid
et al
main
fichier(s):
art3A10.10072Fs10703-011-0131-3
version 1
art3A10.10072Fs10703-011-0131-3.pdf
[1,021.94 KB]
27 Jan 2018, 12:28
n/a
n/a