ICPN的时间自动机构造方法

检索

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

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

ICPN的时间自动机构造方法

廖伟志, 李文敬, 王汝凉

Construction Method of Timed Automata for ICPN

LIAO Wei-Zhi, LI Wen-Jing, WANG Ru-Liang

计算机工程 . 2011, (6): 15 -17 . DOI: 10.3969/j.issn.1000-3428.2011.06.006