乘积自动机相关论文
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画.为了对这些时态性......
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中，适合于在语义Web环境下对相关系统的时态性质进行刻画。为了对这些时态性......
惰性切片是一种有效的状态空间缩减方法,但是它无法直接判定一个模型是否满足所期望的线性时间性质。针对该问题,提出了一种基于惰......
