位置：成果数据库 > 会议 > 会议详情页
SAT-Based Verification of LTL
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：会议
  • 相关项目：包封法及推理系统的可判定性
作者： W.-H. Zhang
同会议论文项目
包封法及推理系统的可判定性
期刊论文 7 会议论文 2 著作 2
同项目会议论文
LTL Model Checking via Search