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