西安电子科技大学学报（自然科学版）2007，Vol.34Issue(3)：463-467,5.
稠密时间区间时序逻辑的可满足性判定
Decidability of the dense timed interval temporal logic
摘要
关键词
实时系统/时序逻辑/模型检查/混合系统分类
信息技术与安全科学引用本文复制引用
张海宾,段振华..稠密时间区间时序逻辑的可满足性判定[J].西安电子科技大学学报（自然科学版）,2007,34(3):463-467,5.基金项目
国家自然科学基金资助项目(60373103) （60373103）
国家自然科学基金重大资助项目(60433010) （60433010）
博士点基金资助项目(20030701015) （20030701015）
