view
electronic edition via DOI
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
journals/sigops/YuanWYS15
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/journals/sigops/YuanWYS15
Xinhao Yuan
,
David Williams-King
,
Junfeng Yang
,
Simha Sethumadhavan
:
Making Lock-free Data Structures Verifiable with Artificial Transactions.
ACM SIGOPS Oper. Syst. Rev.
49
(
2
)
:
57-63
(
2015
)