位置：成果数据库 > 会议 > 会议详情页
Symbolic Model Checking the Knowledge in Herbivore Protocol
  • 所属机构名称：电子科技大学
  • 会议名称：Sixth Workshop on. Model Checking and Artificial Intelligence (MoChArt 2010).
  • 时间：2010.7.7
  • 成果类型：会议
  • 相关项目：基于多智能体系统高效动态模型检测的大规模安全协议动态验证研究
作者： Xiangyu Luo|Kaile Su|Ming Gu|Lijun Wu|Jinqi Yang|
同会议论文项目
基于多智能体系统高效动态模型检测的大规模安全协议动态验证研究
期刊论文 9 会议论文 3
同项目会议论文
Comprehensive score: towards efficient local search for SAT with long clauses
Improving WalkSAT for Random k- Satisfiability Problem with k >3