发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Singapore (2014.01.20-2014.01.23)] 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Automated debugging of missing assumptions

[IEEE 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Singapore (2014.01.20-2014.01.23)] 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Automated debugging of missing assumptions

Keng, Brian; Qin, Evean; Veneris, Andreas; Le, Bao

作者Keng, Brian; Qin, Evean; Veneris, Andreas; Le, Bao
文件大小126.92KB
发表时间2014
DOI10.1109/aspdac.2014.6742977
页码732-737

← 返回【学霸图书馆】主页