%0 Conference Paper %1 conf/esop/AtigBBM12 %A Atig, Mohamed Faouzi %A Bouajjani, Ahmed %A Burckhardt, Sebastian %A Musuvathi, Madanlal %B ESOP %D 2012 %E Seidl, Helmut %I Springer %K dblp %P 26-46 %T What's Decidable about Weak Memory Models? %U http://dblp.uni-trier.de/db/conf/esop/esop2012.html#AtigBBM12 %V 7211 %@ 978-3-642-28868-5

@inproceedings{conf/esop/AtigBBM12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Atig, Mohamed Faouzi and Bouajjani, Ahmed and Burckhardt, Sebastian and Musuvathi, Madanlal}, biburl = {https://www.bibsonomy.org/bibtex/23e4bbfe40ee8a4ea88051120a73adcc7/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2012}, editor = {Seidl, Helmut}, ee = {https://doi.org/10.1007/978-3-642-28869-2_2}, interhash = {220f4a11ed0c49fea2fd51eed4499a64}, intrahash = {3e4bbfe40ee8a4ea88051120a73adcc7}, isbn = {978-3-642-28868-5}, keywords = {dblp}, pages = {26-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:23.000+0200}, title = {What's Decidable about Weak Memory Models?}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2012.html#AtigBBM12}, volume = 7211, year = 2012 }