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):
model_checking_transactional_memories_journal
version 1
model_checking_transactional_memories_journal.pdf
[273.26 KB]
27 Jan 2018, 13:33
n/a
n/a