位置：成果数据库 > 期刊 > 期刊详情页
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation
  • ISSN号：0010-4620
  • 期刊名称：Computer Journal
  • 时间：2014.1
  • 页码：115-128
  • 相关项目：基于一阶符号轨迹计算理论的模型检测
作者： Li, Yongjian|Zeng, Naiju|Hung, William N. N.|Song, Xiaoyu|
同期刊论文项目
基于一阶符号轨迹计算理论的模型检测
期刊论文 5 会议论文 11
同项目期刊论文
An inductive approach to strand space theory
Formalizing provable anonymity in Isabelle/HOL.
改进的布尔公式学习算法
An inductive approach to strand spaces