位置：成果数据库 > 期刊 > 期刊详情页
An inductive approach to strand spaces
  • ISSN号：0934-5043
  • 期刊名称：Formal Aspects of Computing
  • 时间：2013.1.15
  • 页码：465-501
  • 相关项目：基于一阶符号轨迹计算理论的模型检测
作者： 李勇坚|
同期刊论文项目
基于一阶符号轨迹计算理论的模型检测
期刊论文 5 会议论文 11
同项目期刊论文
An inductive approach to strand space theory
Formalizing provable anonymity in Isabelle/HOL.
改进的布尔公式学习算法
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation