计算机与数字工程2018，Vol.46Issue(7)：1302-1305,1451,5.DOI:10.3969/j.issn.1672-9722.2018.07.007
基于有穷论域下区间时序逻辑的模型检测研究
Model Checking Based on Interval Temporal Logic under Finite Domain
李超1
作者信息
- 1. 西安邮电大学计算机学院 西安 710061
- 折叠
摘要
关键词
区间时序逻辑/模型检测/自动机分类
信息技术与安全科学引用本文复制引用
李超..基于有穷论域下区间时序逻辑的模型检测研究[J].计算机与数字工程,2018,46(7):1302-1305,1451,5.
