作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
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