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

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

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Automatic Generation of Complex Properties for Hardware Designs

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Automatic Generation of Complex Properties for Hardware Designs

Rogin, Frank; Klotz, Thomas; Fey, Gorschwin; Drechsler, Rolf; Rulke, Steffen

作者Rogin, Frank; Klotz, Thomas; Fey, Gorschwin; Drechsler, Rolf; Rulke, Steffen
文件大小267.39KB
发表时间2008
DOI10.1109/date.2008.4484908
页码545-548

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