位置:成果数据库 > 会议 > 会议详情页
Structural Analysis for Stochastic Process Algebra Models
  • 所属机构名称:扬州大学
  • 会议名称:13th International Conference on Algebraic Methodology and Software Technology
  • 时间:2011
  • 成果类型:会议
  • 相关项目:大规模随机进程代数模型的死锁检测和性能分析
同会议论文项目
同项目会议论文