English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
Model Checking Transactional Memories
> Access to Fulltext
Information
Usage statistics
Files
Model Checking Transactional Memories
-
Guerraoui, Rachid
et al
main
file(s):
PLDI_paper
version 1
PLDI_paper.pdf
[196.86 KB]
27 Jan 2018, 13:10
n/a