计算机工程2007，Vol.33Issue(22)：98-100,3.
具有过去时态算子的计算树逻辑模型检测
Model Checking of Computation Tree Logic with Past Temporal Operators
摘要
关键词
计算树逻辑/模型检测/二叉判定图分类
信息技术与安全科学引用本文复制引用
周从华,刘志锋..具有过去时态算子的计算树逻辑模型检测[J].计算机工程,2007,33(22):98-100,3.基金项目
国家自然科学基金资助项目(60573046) （60573046）
