Author Login Editor-in-Chief Peer Review Editor Work Office Work
MOTEC: A Validation Tool for Memory Consistency Model
LV Zheng, CHEN Hao, CHEN Feng, LV Yi
Computer Engineering . 2012, (11): 242 -246 .  DOI: 10.3969/j.issn.1000-3428.2012.11.074