时间自动机可达性分析中的状态空间约减技术综述

• A Study of Optimization Techniques about Reachability in Timed Automata