Institutional Repository
| MOTEC存储一致性模型验证系统 | |
| 中国科学院软件研究所 | |
| Award Type | 其他 |
| Award Level | 无 |
| 2010-10-20 | |
| Department | 计算机科学国家重点实验室 |
| Language | 中文 |
| Content Type | 成果 |
| URI | http://ir.iscas.ac.cn/handle/311060/5480 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 中国科学院软件研究所. MOTEC存储一致性模型验证系统. 其他:无. 2010. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment