%0 Journal Article %1 dynamic_memory_consistency %A Meixner, A. %A Sorin, D.J. %D 2009 %J IEEE Transactions on Dependable and Secure Computing %K imported %N 1 %P 18--31 %R 10.1109/TDSC.2007.70243 %T Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures %V 6

@article{dynamic_memory_consistency, added-at = {2013-08-31T20:54:19.000+0200}, author = {Meixner, A. and Sorin, D.J.}, biburl = {https://www.bibsonomy.org/bibtex/2b38905ece43bf93508aa290312915b92/freitass}, doi = {10.1109/TDSC.2007.70243}, interhash = {2ff3b34abcf652fc76ddea205e1b1aa5}, intrahash = {b38905ece43bf93508aa290312915b92}, issn = {1545-5971}, journal = {IEEE Transactions on Dependable and Secure Computing}, keywords = {imported}, month = {jan.}, number = 1, pages = {18--31}, timestamp = {2013-08-31T20:54:19.000+0200}, title = {Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures}, volume = 6, year = 2009 }