%0 Conference Paper %1 conf/cav/Mador-HaimMSMAOAMSW12 %A Mador-Haim, Sela %A Maranget, Luc %A Sarkar, Susmit %A Memarian, Kayvan %A Alglave, Jade %A Owens, Scott %A Alur, Rajeev %A Martin, Milo M. K. %A Sewell, Peter %A Williams, Derek %B CAV %D 2012 %E Madhusudan, P. %E Seshia, Sanjit A. %I Springer %K dblp %P 495-512 %T An Axiomatic Memory Model for POWER Multiprocessors. %U http://dblp.uni-trier.de/db/conf/cav/cav2012.html#Mador-HaimMSMAOAMSW12 %V 7358 %@ 978-3-642-31423-0

@inproceedings{conf/cav/Mador-HaimMSMAOAMSW12, added-at = {2018-10-03T00:00:00.000+0200}, author = {Mador-Haim, Sela and Maranget, Luc and Sarkar, Susmit and Memarian, Kayvan and Alglave, Jade and Owens, Scott and Alur, Rajeev and Martin, Milo M. K. and Sewell, Peter and Williams, Derek}, biburl = {https://www.bibsonomy.org/bibtex/274cbe91176fadb74a55477f57eeec6b1/dblp}, booktitle = {CAV}, crossref = {conf/cav/2012}, editor = {Madhusudan, P. and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-642-31424-7_36}, interhash = {1793802ee238db87095596b0fab6985e}, intrahash = {74cbe91176fadb74a55477f57eeec6b1}, isbn = {978-3-642-31423-0}, keywords = {dblp}, pages = {495-512}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:32.000+0200}, title = {An Axiomatic Memory Model for POWER Multiprocessors.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2012.html#Mador-HaimMSMAOAMSW12}, volume = 7358, year = 2012 }