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      = {Tiny Trans. Comput. Sci.},
  volume       = {3},
  year         = {2015},
  url          = {http://tinytocs.org/vol3/papers/TinyToCS\_3\_alglave.pdf},
  timestamp    = {Tue, 14 Sep 2021 12:27:04 +0200},
  biburl       = {https://dblp.org/rec/journals/tinytocs/AlglaveMPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}