文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Shuren Wang
发表
PCX: A Translation Tool from PROMELA/Spin to the C-Based Stochastic Petri Net Language
Frederick T. Sheldon, F. Sheldon, Shuren Wang, 2002 .