BibTeX record conf/cav/Mador-HaimMSMAOAMSW12

download as .bib file

@inproceedings{DBLP:conf/cav/Mador-HaimMSMAOAMSW12,
  author    = {Sela Mador{-}Haim and
               Luc Maranget and
               Susmit Sarkar and
               Kayvan Memarian and
               Jade Alglave and
               Scott Owens and
               Rajeev Alur and
               Milo M. K. Martin and
               Peter Sewell and
               Derek Williams},
  title     = {An Axiomatic Memory Model for {POWER} Multiprocessors},
  booktitle = {{CAV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  pages     = {495--512},
  publisher = {Springer},
  year      = {2012}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics