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

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

[IEEE 34th Design Automation Conference - Anaheim CA (June 9-13, 1997)] Proceedings of the 34th Design Automation Conference - Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas

[IEEE 34th Design Automation Conference - Anaheim CA (June 9-13, 1997)] Proceedings of the 34th Design Automation Conference - Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas

Amon, T.; Borriello, G.; Taokuan Hu, ; Jiwen Liu,

作者Amon, T.; Borriello, G.; Taokuan Hu, ; Jiwen Liu,
文件大小730.39KB
发表时间1997
DOI10.1109/dac.1997.597148
页码226-231

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