计算机工程2005，Vol.31Issue(18)：71-73,3.
一种基于时间自动机的时钟等价性优化方法
Optimization Clock Equivalence for Timed Automaton
摘要
关键词
模型检验/时间自动机/域自动机/时态逻辑分类
信息技术与安全科学引用本文复制引用
钱俊彦,赵岭忠,古天龙..一种基于时间自动机的时钟等价性优化方法[J].计算机工程,2005,31(18):71-73,3.基金项目
"十五"国防预研基金资助项目 （）
广西自然科学基金资助项目(0141046) （0141046）
