发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Verification of STM on relaxed memory models

Verification of STM on relaxed memory models

Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh

作者Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh
卷第39卷
期第3期
印刷ISSN0925-9856
电子ISSN1572-8102
文件大小1021.94KB
发表时间2011-12
DOI10.1007/s10703-011-0131-3
页码297-331

← 返回【学霸图书馆】主页