![](/img/cover-not-exists.png)
[IEEE 2008 9th International Conference for Young Computer Scientists (ICYCS) - Hunan, China (2008.11.18-2008.11.21)] 2008 The 9th International Conference for Young Computer Scientists - Efficient Verification of Parameterized Cache Coherence Protocols
Qu, WanXia, Guo, Yang, Pang, ZhengBin, Yang, XiaoDongYear:
2008
Language:
english
DOI:
10.1109/icycs.2008.458
File:
PDF, 273 KB
english, 2008