%0 Conference Paper %1 conf/popl/AtigBBM10 %A Atig, Mohamed Faouzi %A Bouajjani, Ahmed %A Burckhardt, Sebastian %A Musuvathi, Madanlal %B POPL %D 2010 %E Hermenegildo, Manuel V. %E Palsberg, Jens %I ACM %K dblp %P 7-18 %T On the verification problem for weak memory models. %U http://dblp.uni-trier.de/db/conf/popl/popl2010.html#AtigBBM10 %@ 978-1-60558-479-9

@inproceedings{conf/popl/AtigBBM10, added-at = {2021-06-22T00:00:00.000+0200}, author = {Atig, Mohamed Faouzi and Bouajjani, Ahmed and Burckhardt, Sebastian and Musuvathi, Madanlal}, biburl = {https://www.bibsonomy.org/bibtex/20eed7fc44e3d242be6a67585c8114018/dblp}, booktitle = {POPL}, crossref = {conf/popl/2010}, editor = {Hermenegildo, Manuel V. and Palsberg, Jens}, ee = {https://doi.org/10.1145/1707801.1706303}, interhash = {dcb643e434a8b209115f3e04ee80a1f5}, intrahash = {0eed7fc44e3d242be6a67585c8114018}, isbn = {978-1-60558-479-9}, keywords = {dblp}, pages = {7-18}, publisher = {ACM}, timestamp = {2024-04-09T13:30:49.000+0200}, title = {On the verification problem for weak memory models.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2010.html#AtigBBM10}, year = 2010 }