The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.
The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.
复制标题
时态逻辑的语法限制与反应式系统规范的属性之间的关系。
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Noriaki Yoshiura
中科院分区：
文献类型：
--
作者：
Liu Shuxin;Noriaki Yoshiura;Hiroshi Umeo;Noriaki Yoshiura
