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]
@inproceedings{LvCCL11,
title = {Fast Verification of Memory Consistency for Chip Multi-Processor},
author = {Zheng Lv and Hao Chen and Feng Chen and Yi Lv},
year = {2011},
doi = {10.1109/CIS.2011.334},
url = {http://doi.ieeecomputersociety.org/10.1109/CIS.2011.334},
researchr = {https://researchr.org/publication/LvCCL11},
cites = {0},
citedby = {0},
pages = {1497-1502},
booktitle = {Seventh International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3-4, 2011},
editor = {Yuping Wang and Yiu-ming Cheung and Ping Guo and Yingbin Wei},
publisher = {IEEE},
isbn = {978-1-4577-2008-6},
}