@inproceedings{CAV12,
  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 = {Computer Aided Verification, 24th International Conference, CAV 2012},
  editor = {P. Madhusudan and Sanjit A. Seshia},
  volume = 7358,
  year = 2012,
  pages = {495--512},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  month = jul,
  doi = {10.1007/978-3-642-31424-7_36}}