Encoding safety in CLLR

被引：0

作者：

Zhang, Yan ^{[1
]}

Zhu, Zhaohui ^{[2
]}

Zhang, Jinjin ^{[3
]}

机构：

[1] College of Information Science and Technology, Nanjing Forestry University, China

[2] College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, China

[3] College of Information Science, Nanjing Audit University, China

来源：

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Temporal logic

引用

页码：64 / 82