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

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

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Veri cation Through the Principle of Least Astonishment

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Veri cation Through the Principle of Least Astonishment

Isaksen, Beth; Bertacco, Valeria

作者Isaksen, Beth; Bertacco, Valeria
文件大小10614.14KB
发表时间2006
DOI10.1109/iccad.2006.320090
页码860-867

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