一种基于自动机理论的LTL检验符号优化方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

钱俊彦;赵岭忠;古天龙;

A Symbolic Optimization Method for Model Checking of LTL Based on Automaton Theory

QIAN Junyan,ZHAO Lingzhong,GU Tianlong

. 2005, (23): 30 .