Yunji Chen, Lei Li, Tianshi Chen, Ling Li, Lei Wang, Xiaoxue Feng, Weiwu Hu. Program Regularization in Memory Consistency Verification. IEEE Trans. Parallel Distrib. Syst., 23(11):2163-2174, 2012. [doi]
@article{ChenLCLWFH12,
title = {Program Regularization in Memory Consistency Verification},
author = {Yunji Chen and Lei Li and Tianshi Chen and Ling Li and Lei Wang and Xiaoxue Feng and Weiwu Hu},
year = {2012},
doi = {10.1109/TPDS.2012.44},
url = {http://dx.doi.org/10.1109/TPDS.2012.44},
researchr = {https://researchr.org/publication/ChenLCLWFH12},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Parallel Distrib. Syst.},
volume = {23},
number = {11},
pages = {2163-2174},
}