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/journals/corr/abs-2010-00911.rdf
Yotam M. Y. Feldman et al.: Proving Highly-Concurrent Traversals Correct. (2020) journals/corr/abs-2010-00911 2010.00911 Proving Highly-Concurrent Traversals Correct. 7 Yotam M. Y. Feldman 1 Artem Khyzha 2 Constantin Enea 3 Adam Morrison 0001 4 Aleksandar Nanevski 5 Noam Rinetzky 6 Sharon Shoham 7 CoRR CoRR abs/2010.00911 2020 provenance information for RDF data of dblp record 'journals/corr/abs-2010-00911' 2020-10-12T17:53:10+0200