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

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

[IEEE 2003. Design Automation Conference - Anaheim, CA, USA (2-6 June 2003)] Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451) - Automatic trace analysis for logic of constraints

[IEEE 2003. Design Automation Conference - Anaheim, CA, USA (2-6 June 2003)] Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451) - Automatic trace analysis for logic of constraints

Xi Chen, ; Hsieh, H.; Balarin, F.; Watanabe, Y.

作者Xi Chen, ; Hsieh, H.; Balarin, F.; Watanabe, Y.
文件大小668.65KB
发表时间2003
DOI10.1109/dac.2003.1219045
页码460-465

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