位置:成果数据库 > 期刊 > 期刊详情页
A Petri-Net-based modeling and properties verification method for rules in interaction protocol onto
  • ISSN号:1975-9320
  • 期刊名称:Journal of Convergence Information Technology
  • 时间:2013.6.6
  • 页码:98-107
  • 相关项目:基于辩论的可信B2B谈判服务研究
同期刊论文项目
同项目期刊论文