BibTeX record conf/popl/WickersonBSC17

download as .bib file

@inproceedings{DBLP:conf/popl/WickersonBSC17,
  author    = {John Wickerson and
               Mark Batty and
               Tyler Sorensen and
               George A. Constantinides},
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Automatically comparing memory consistency models},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {190--204},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009838},
  timestamp = {Thu, 05 Dec 2019 18:28:31 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/WickersonBSC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics