首页 / 资料库 / 文献详情

A new model for verification

杜振军、马光胜、Gang Feng

2007哈尔滨工业大学学报：英文版Computer Science被引 2

出版方页面 →

摘要

该文献暂无收录摘要。

引用本文（GB/T 7714）

杜振军, 马光胜, Gang Feng. A new model for verification[J]. 哈尔滨工业大学学报：英文版, 2007.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。