作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
并发TTCN的操作语义及相关算法
张卫星,蒋凡
Operational Semantics of Concurrent TTCN and Related Algorithm
ZHANG Weixing,JIANG Fan
. 2003, (04): 81 .