时间自动机状态空间的一个极小化构造方法

时间自动机状态空间的一个极小化构造方法

姬莉霞周清雷李占波苏锦祥

Minimizing the state space of timed automata

LiXia Ji Zhanbo Li JinXiang Su

计算机工程与应用 . 2007, (14): 30 -33 .