Design and verification of lock-free parallel algorithms / Hui Gao
mainEntity
Design and verification of lock-free parallel algorithms / Hui Gao
description
Proefschrift Rijksuniversiteit Groningen
inLanguage
isPartOf
isbn
9036722306
mainEntityOfPage
name
Design and verification of lock-free parallel algorithms
numberOfPages
publication
sameAs
label
Design and verification of lock-free parallel algorithms / Hui Gao