@article{_545, author = {[null, null, null]}, title = {一种基于广播的cache一致性协议的设计和验证}, publisher = {计算机科学与探索}, year = {2008}, journal = {计算机科学与探索}, volume = {2}, number = {5}, eid = {545}, pages = {545-552}, keywords = {cache一致性协议;广播;NuSMV验证}, doi = http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.2008.05.010 }