位置:成果数据库 > 期刊 > 期刊详情页
Numerically representing stochastic process algebra models
  • ISSN号:0010-4620
  • 期刊名称:Computer Journal
  • 时间:2012
  • 页码:1383-1397
  • 相关项目:大规模随机进程代数模型的死锁检测和性能分析
同期刊论文项目
同项目期刊论文