首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
IDENTIFICATION OF MISSING PROPERTIES IN MODEL CHECKING
摘要
申请公布号
IL132058(A)
申请公布日期
2003.12.10
申请号
IL19990132058
申请日期
1999.09.23
申请人
IBM CORPORATION;GALILEO TECHNOLOGY LTD.
发明人
分类号
G01R;G06F17/50;(IPC1-7):G06F17/50
主分类号
G01R
代理机构
代理人
主权项
地址
您可能感兴趣的专利
靠垫套（120710）
装饰贴面板（302）
瓶贴(金银花)
包装盒（107）
花布（199）
花布（217）
花布（20）
箱包面料（23）
装饰贴面板（61）
包装盒（雅韵云雾芽）
包装盒（111）
装饰贴面板（267）
装饰贴面板（161）
瓶子（136）
箱包面料（3）
包装盒（018）
包装盒（039）
装饰贴面板（130）
涂料包装袋（精品）
包装盒（高梁挂面）
