Model Checking Analysis for Atomicity of Electronic Commerce Protocol

 
  • 一种电子商务协议原子性的模型检验分析方法
今日热词
目录 附录 查词历史