Reasoning about correctness of transactional memory
autor
Saar, Andri
vastutusandmed
Andri Saar
allikas
Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 2011
ilmumiskoht
[S. l.]
kirjastus/väljaandja
Institute of Cybernetics [at Tallinn University of Technology]
ilmumisaasta
2011
leheküljed
1 p
märkused
(Student talks 2011 (abstracts))
keel
inglise