离散时间区间时序逻辑可满足性的判定

您当前的位置：

首页 >

文章列表页 >

离散时间区间时序逻辑可满足性的判定

学术论文 | 更新时间：2025-07-08

- 离散时间区间时序逻辑可满足性的判定
- On the Decidability of Satisfiability of Discrete TITL Formulae
- 电子学报 2010年38卷第5期页码：1039-1045
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
朱维军, 张海宾, 周清雷. 离散时间区间时序逻辑可满足性的判定[J]. 电子学报, 2010,38(5):1039-1045.

On the Decidability of Satisfiability of Discrete TITL Formulae[J]. Acta Electronica Sinica, 2010, 38(5): 1039-1045.
朱维军, 张海宾, 周清雷. 离散时间区间时序逻辑可满足性的判定[J]. 电子学报, 2010,38(5):1039-1045. DOI：

On the Decidability of Satisfiability of Discrete TITL Formulae[J]. Acta Electronica Sinica, 2010, 38(5): 1039-1045. DOI：

浏览量

1357

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据