Model checking MESIF Cache coherence protocol
LV Zheng 1,CHEN Hao 1,2,CHEN Feng 1,LV Yi 3
Computer Engineering and Applications . 2010, (17): 66 -68 .  DOI: 10.3778/j.issn.1002-8331.2010.17.019