%0 Journal Article %1 journals/jcst/PanLL06 %A Pan, Hong %A Lin, Huimin %A Lv, Yi %D 2006 %J J. Comput. Sci. Technol. %K dblp %N 5 %P 765-775 %T Model Checking Data Consistency for Cache Coherence Protocols. %U http://dblp.uni-trier.de/db/journals/jcst/jcst21.html#PanLL06 %V 21

@article{journals/jcst/PanLL06, added-at = {2017-05-28T00:00:00.000+0200}, author = {Pan, Hong and Lin, Huimin and Lv, Yi}, biburl = {https://www.bibsonomy.org/bibtex/237bfdbc10eb0a6781ad75f0e88be1a6a/dblp}, ee = {https://doi.org/10.1007/s11390-006-0765-6}, interhash = {d33e6b56661bba03320af669a02745a9}, intrahash = {37bfdbc10eb0a6781ad75f0e88be1a6a}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 5, pages = {765-775}, timestamp = {2017-05-30T13:51:54.000+0200}, title = {Model Checking Data Consistency for Cache Coherence Protocols.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst21.html#PanLL06}, volume = 21, year = 2006 }