位置：成果数据库 > 期刊 > 期刊详情页
Axiomatizing Lüttgen & Vogler’s ready simulation for finite processes in CLLR
  • ISSN号：1570-8683
  • 期刊名称：Journal of Applied Logic
  • 时间：2015.10.16
  • 页码：654-675
  • 相关项目：控制系统形式化设计中逻辑特征应用的研究
作者： Yan Zhang|Zhaohui Zhu|Jinjin Zhang|
同期刊论文项目
控制系统形式化设计中逻辑特征应用的研究
期刊论文 6
同项目期刊论文
直觉主义计算树逻辑中的安全性和活性
带扰动控制系统的形式化设计
(η,α)-互模拟的分层及判定算法
On the greatest solution of equations in CLLR
n-精化关系及其相关研究