Verification: What works and what doesn't

被引:0
|
作者
Bacchini, F [1 ]
Damiano, R [1 ]
Bentley, B [1 ]
Baty, K [1 ]
Normoyle, K [1 ]
Ishii, M [1 ]
Yogev, E [1 ]
机构
[1] Thinkbold Corp Commun, San Jose, CA USA
来源
41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004 | 2004年
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:274 / 274
页数:1
相关论文
共 50 条