Design and verification of lock-free parallel algorithms / Hui Gao
mainEntity
Design and verification of lock-free parallel algorithms / Hui Gao
associatedMedia
<http://irs.ub.rug.nl/ppn/274119137>
author
bookFormat
description
Proefschrift Rijksuniversiteit Groningen
inLanguage
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