WanXia Qu Yang Guo Zhengbin Pang Xiaodong Yang Efficient Verification of Parameterized Cache Coherence Protocols. 154-159 2008 ICYCS http://dx.doi.org/10.1109/ICYCS.2008.458 conf/icycs/2008 db/conf/icycs/icycs2008.html#QuGPY08