随机进程代数新技术综述(英文)
- ISSN号:1003-6970
- 期刊名称:软件
- 时间:2011
- 页码:50-60
- 相关项目:大规模随机进程代数模型的死锁检测和性能分析
同期刊论文项目
同项目期刊论文
期刊信息
- 主管单位:中国科学技术协会
- 主办单位:中国电子学会 天津电子学会
- 主编:胡锦华
- 地址:北京市3105信箱
- 邮编:100044
- 邮箱:rjjxzz@126.com
- 电话:010-56174511
- 国际标准刊号:ISSN:1003-6970
- 国内统一刊号:ISSN:12-9203/TP
- 邮发代号: