文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
G. J. Holzmann
发表
Tracing protocols
G. J. Holzmann, G. Holzmann, 1985, AT&T Technical Journal.
Coordination problems in multiprocessing systems
G. J. Holzmann, G. Holzmann, 1979 .