BibTeX record conf/micro/LustigPM14

download as .bib file

@inproceedings{DBLP:conf/micro/LustigPM14,
  author       = {Daniel Lustig and
                  Michael Pellauer and
                  Margaret Martonosi},
  title        = {Pipe Check: Specifying and Verifying Microarchitectural Enforcement
                  of Memory Consistency Models},
  booktitle    = {47th Annual {IEEE/ACM} International Symposium on Microarchitecture,
                  {MICRO} 2014, Cambridge, United Kingdom, December 13-17, 2014},
  pages        = {635--646},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/MICRO.2014.38},
  doi          = {10.1109/MICRO.2014.38},
  timestamp    = {Tue, 31 May 2022 14:39:58 +0200},
  biburl       = {https://dblp.org/rec/conf/micro/LustigPM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics