位置：立项数据库 > 立项详情页
线形时态逻辑的可满足性理论与应用研究
  • 项目名称：线形时态逻辑的可满足性理论与应用研究
  • 项目类别：面上项目
  • 批准号：61572197
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：蒲戈光
  • 依托单位：华东师范大学
  • 批准年度：2015
蒲戈光的项目
Web服务组合语言的语义和验证研究
期刊论文 1 会议论文 18