计算机工程与应用2004，Vol.40Issue(2)：57-59,3.
Netbill协议原子性的符号模型检验分析
Symbolic Model Checking Analysis for Atomicity of Netbill Protocol
摘要
关键词
电子商务协议/符号模型检验/原子性分类
信息技术与安全科学引用本文复制引用
郭云川,古天龙,董荣胜,蔡国永..Netbill协议原子性的符号模型检验分析[J].计算机工程与应用,2004,40(2):57-59,3.基金项目
广西跨世纪人才基金项目 （）
广西科学基金项目(编号:0141046)资助 （编号:0141046）
