%0 Conference Paper %1 conf/asplos/RomanescuLS10 %A Romanescu, Bogdan F. %A Lebeck, Alvin R. %A Sorin, Daniel J. %B ASPLOS %D 2010 %E Hoe, James C. %E Adve, Vikram S. %I ACM %K dblp %P 323-334 %T Specifying and dynamically verifying address translation-aware memory consistency. %U http://dblp.uni-trier.de/db/conf/asplos/asplos2010.html#RomanescuLS10 %@ 978-1-60558-839-1

@inproceedings{conf/asplos/RomanescuLS10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Romanescu, Bogdan F. and Lebeck, Alvin R. and Sorin, Daniel J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/270fa148057823083bd402679b1597b36/dblp}, booktitle = {ASPLOS}, crossref = {conf/asplos/2010}, editor = {Hoe, James C. and Adve, Vikram S.}, ee = {https://doi.org/10.1145/1736020.1736057}, interhash = {c3bc6a996d2f02155498b654c3d769c1}, intrahash = {70fa148057823083bd402679b1597b36}, isbn = {978-1-60558-839-1}, keywords = {dblp}, pages = {323-334}, publisher = {ACM}, timestamp = {2019-09-27T20:32:19.000+0200}, title = {Specifying and dynamically verifying address translation-aware memory consistency.}, url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2010.html#RomanescuLS10}, year = 2010 }