%0 Conference Paper %1 conf/popl/HenzingerKPSS13 %A Henzinger, Thomas A. %A Kirsch, Christoph M. %A Payer, Hannes %A Sezgin, Ali %A Sokolova, Ana %B POPL %D 2013 %E Giacobazzi, Roberto %E Cousot, Radhia %I ACM %K dblp %P 317-328 %T Quantitative relaxation of concurrent data structures. %U http://dblp.uni-trier.de/db/conf/popl/popl2013.html#HenzingerKPSS13 %@ 978-1-4503-1832-7

@inproceedings{conf/popl/HenzingerKPSS13, added-at = {2021-06-24T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Kirsch, Christoph M. and Payer, Hannes and Sezgin, Ali and Sokolova, Ana}, biburl = {https://www.bibsonomy.org/bibtex/2e0a240d52786a339134b96ddda9ba7ef/dblp}, booktitle = {POPL}, crossref = {conf/popl/2013}, editor = {Giacobazzi, Roberto and Cousot, Radhia}, ee = {https://doi.org/10.1145/2480359.2429109}, interhash = {f62b738630a423a7f902985b93b200d1}, intrahash = {e0a240d52786a339134b96ddda9ba7ef}, isbn = {978-1-4503-1832-7}, keywords = {dblp}, pages = {317-328}, publisher = {ACM}, timestamp = {2024-04-09T13:30:19.000+0200}, title = {Quantitative relaxation of concurrent data structures.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2013.html#HenzingerKPSS13}, year = 2013 }