TalTech publikatsioonid
pealdis Saar, A., Uustalu, T.
maakood ed
keel inglise
autor Saar, Andri
Uustalu, Tarmo
pealkiri Reasoning about correctness of transactional memory with operational semantics
vastutusandmed Andri Saar, Tarmo Uustalu
allikas Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
ilmumiskoht [Tallinn]
kirjastus/väljaandja [Tallinna Tehnikaülikooli kirjastus]
ilmumisaasta 2010
leheküljed lk. 145-148
konverentsi nimetus, aeg Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljas aastakonverents, 26.-27. novembril 2010
konverentsi toimumispaik Essu mõis
ISBN 978-9949-23-044-0
märkused Bibliogr.: 8 nim