%0 Conference Paper %1 conf/concur/HaasHHKLPSSV16 %A Haas, Andreas %A Henzinger, Thomas A. %A Holzer, Andreas %A Kirsch, Christoph M. %A Lippautz, Michael %A Payer, Hannes %A Sezgin, Ali %A Sokolova, Ana %A Veith, Helmut %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 6:1-6:15 %T Local Linearizability for Concurrent Container-Type Data Structures. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#HaasHHKLPSSV16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/HaasHHKLPSSV16, added-at = {2018-08-23T00:00:00.000+0200}, author = {Haas, Andreas and Henzinger, Thomas A. and Holzer, Andreas and Kirsch, Christoph M. and Lippautz, Michael and Payer, Hannes and Sezgin, Ali and Sokolova, Ana and Veith, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/21a57d2c82ac44b117ed91d784a0dce55/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.6}, interhash = {6d9f7b5f742cb26c3a2e4d228f37e11b}, intrahash = {1a57d2c82ac44b117ed91d784a0dce55}, isbn = {978-3-95977-017-0}, keywords = {dblp}, pages = {6:1-6:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:52.000+0100}, title = {Local Linearizability for Concurrent Container-Type Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#HaasHHKLPSSV16}, volume = 59, year = 2016 }