QQ客服 官方微博 反馈留言

	基于多线程程序约束构建的数据竞争检测与证据生成方法
	刘烃; 张晓东; 俞乐晨; 刘沛; 郑庆华
	2014-10-01
DOI标识	[db:dc_identifier_doi]
URL标识	查看原文
申请日期	2014-07-07
WOS记录号	[db:dc_identifier_wosid]
内容类型	专利
URI标识	http://www.corc.org.cn/handle/1471x/3285272
专题	西安交通大学
推荐引用方式 GB/T 7714	刘烃,张晓东,俞乐晨,等. 基于多线程程序约束构建的数据竞争检测与证据生成方法. 2014-10-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。