首页 产品 黄页 商标 征信
会员服务 注册 登录 
全部
 |
企业名
 |
法人/股东/高管
 |
品牌/产品
 |
地址
 |
经营范围
发明名称 INCREMENTAL AUTOMATA VERIFICATION
摘要
申请公布号 WO03038690(A8) 申请公布日期 2004.02.19
申请号 WO2002US34429 申请日期 2002.10.29
申请人 HONEYWELL INTERNATIONAL INC. 发明人 MUSLINER, DAVID, J.;PELICAN, MICHAEL, J.;GOLDMAN, ROBERT, P.
分类号 G06F17/50;(IPC1-7):G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址
您可能感兴趣的专利
©  2024 传众  czvv.com