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