Zheng Lv, Hao Chen, Feng Chen, Yi Lv. Fast Verification of Memory Consistency for Chip Multi-Processor. In Yuping Wang, Yiu-ming Cheung, Ping Guo, Yingbin Wei, editors, Seventh International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3-4, 2011. pages 1497-1502, IEEE, 2011. [doi]