一种电子商务协议原子性的模型检验分析方法

• Model Checking Analysis for Atomicity of Electronic Commerce Protocol