传值并发系统的语义模型与验证工具
69833020
1998
F0201.计算机科学的基础理论
林惠民
重点项目
研究员
中国科学院软件研究所
70万元
并发性.传值进程.验证工具
1999-01-01到2002-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
