作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于LTS的Statecharts操作语义研究
钱俊彦;赵岭忠
Study on Operation Semantics of Statecharts Based on LTS
QIAN Junyan; ZHAO Lingzhong
计算机工程 . 2006, (22): 43 -45 .  DOI: 10.3969/j.issn.1000-3428.2006.22.015