Author Login Editor-in-Chief Peer Review Editor Work Office Work
Construction Method of Timed Automata for ICPN
LIAO Wei-Zhi, LI Wen-Jing, WANG Ru-Liang
Computer Engineering . 2011, (6): 15 -17 .  DOI: 10.3969/j.issn.1000-3428.2011.06.006