iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/ppopp/BotincanDDP11.rdf
Matko Botincan et al.: Automatic safety proofs for asynchronous memory operations. (2011) conf/ppopp/BotincanDDP11 10.1145/1941553.1941605 10.1145/2038037.1941605 Automatic safety proofs for asynchronous memory operations. 4 Matko Botincan 1 Mike Dodds 2 Alastair F. Donaldson 3 Matthew J. Parkinson 4 313-314 PPoPP PPoPP 2011 2011 provenance information for RDF data of dblp record 'conf/ppopp/BotincanDDP11' 2022-06-12T19:46:08+0200