%0 Conference Paper %1 cantin_dynamic %A Cantin, Jason F. %A Lipasti, Mikko H. %A Smith, James E. %B Workshop on Memory Performance Issues %D 2001 %K imported %T Dynamic Verification of Cache Coherence Protocols

@inproceedings{cantin_dynamic, added-at = {2013-08-31T20:54:19.000+0200}, author = {Cantin, Jason F. and Lipasti, Mikko H. and Smith, James E.}, biburl = {https://www.bibsonomy.org/bibtex/2a0bb5c823163244418f5f293f0dada00/freitass}, booktitle = {Workshop on Memory Performance Issues}, interhash = {e1954d38a261ad5616cd847b8c68054b}, intrahash = {a0bb5c823163244418f5f293f0dada00}, keywords = {imported}, timestamp = {2013-08-31T20:54:19.000+0200}, title = {Dynamic Verification of Cache Coherence Protocols}, year = 2001 }