BibTeX record conf/ppopp/OzkanMN19

download as .bib file

@inproceedings{DBLP:conf/ppopp/OzkanMN19,
  author    = {Burcu Kulahcioglu Ozkan and
               Rupak Majumdar and
               Filip Niksic},
  editor    = {Jeffrey K. Hollingsworth and
               Idit Keidar},
  title     = {Checking linearizability using hitting families},
  booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA,
               February 16-20, 2019},
  pages     = {366--377},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3293883.3295726},
  doi       = {10.1145/3293883.3295726},
  timestamp = {Fri, 08 Feb 2019 09:59:28 +0100},
  biburl    = {https://dblp.org/rec/conf/ppopp/OzkanMN19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics