位置：成果数据库 > 期刊 > 期刊详情页
Verification of web service protocols by logic of knowledge
  • ISSN号：1548-7741
  • 期刊名称：Journal of Information and Computational Science
  • 时间：2011
  • 页码：921-932
  • 相关项目：基于智能体理论的Web服务系统的建模与形式化验证研究
作者： Chen, Qingliang|Su, Kaile|Cao, Ying|Liu, Chanjuan|
同期刊论文项目
基于智能体理论的Web服务系统的建模与形式化验证研究
期刊论文 11 会议论文 3
同项目期刊论文
Local search for Boolean Satisfiability with configuration checking and subscore
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
A complete first-order temporal BDI logic for forest multi-agent systems
面向结构的基于学习的规划方法
数据质量检测规则挖掘方法
A complete coalition logic of temporal knowledge for multi-agent systems
基于ATL的公平交换协议的形式化验证