BibTeX record journals/tinytocs/AlglaveMPS15

download as .bib file

@article{DBLP:journals/tinytocs/AlglaveMPS15,
  author    = {Jade Alglave and
               Luc Maranget and
               Daniel Poetzl and
               Tyler Sorensen},
  title     = {I compute, therefore {I} am (buggy): methodic doubt meets multiprocessors},
  journal   = {TinyToCS},
  volume    = {3},
  year      = {2015},
  url       = {http://tinytocs.org/vol3/papers/TinyToCS\_3\_alglave.pdf},
  timestamp = {Thu, 05 Dec 2019 18:28:49 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tinytocs/AlglaveMPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics