%0 Conference Paper %1 conf/tphol/OwensSS09 %A Owens, Scott %A Sarkar, Susmit %A Sewell, Peter %B TPHOLs %D 2009 %E Berghofer, Stefan %E Nipkow, Tobias %E Urban, Christian %E Wenzel, Makarius %I Springer %K dblp %P 391-407 %T A Better x86 Memory Model: x86-TSO. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#OwensSS09 %V 5674 %@ 978-3-642-03358-2

@inproceedings{conf/tphol/OwensSS09, added-at = {2017-09-16T00:00:00.000+0200}, author = {Owens, Scott and Sarkar, Susmit and Sewell, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2d3fa023ef285ba37204a97a88c4263a2/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2009}, editor = {Berghofer, Stefan and Nipkow, Tobias and Urban, Christian and Wenzel, Makarius}, ee = {https://doi.org/10.1007/978-3-642-03359-9_27}, interhash = {e96475dc4a68d4c72fc60324bdfe3750}, intrahash = {d3fa023ef285ba37204a97a88c4263a2}, isbn = {978-3-642-03358-2}, keywords = {dblp}, pages = {391-407}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:27.000+0200}, title = {A Better x86 Memory Model: x86-TSO.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#OwensSS09}, volume = 5674, year = 2009 }