Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures
Ouvrir une session
Accueil de DSpace
→
Électronique et Électrotechnique
→
Articles Électroniques
→
Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures
Zhang, Lu
;
Chattopadhyay, Arijit
;
Wang, Chao
URI:
http://repository.usthb.dz//xmlui/handle/123456789/9018
Date:
2015
Description:
1202-1216 p. ; 714ko.
Afficher la notice complète
Fichier(s) constituant ce document
Nom:
nl3291.pdf
Taille:
713.1Ko
Format:
PDF
Voir/
Ouvrir
Ce document figure dans la(les) collection(s) suivante(s)
Articles Électroniques
Chercher dans le dépôt
Chercher dans le dépôt
Cette collection
Parcourir
Tout DSpace
Communautés & Collections
Par date de publication
Auteurs
Titres
Sujets
Cette collection
Par date de publication
Auteurs
Titres
Sujets
Mon compte
Ouvrir une session
S'inscrire
