Author Login Editor-in-Chief Peer Review Editor Work Office Work
Correctness Verification of RGPS Process Level Meta-model
YUAN Kai-Yin, GUO Rui, LIU Xiang-Sheng, TUN Jin-Zhao
Computer Engineering . 2012, (15): 39 -42 .  DOI: 10.3969/j.issn.1000-3428.2012.15.011