发明名称 Static partial order reduction
摘要
申请公布号 EP0913781(A3) 申请公布日期 2001.02.21
申请号 EP19980308793 申请日期 1998.10.27
申请人 LUCENT TECHNOLOGIES INC. 发明人 KURSHAN, ROBERT PAUL;LEVIN, VLADIMIR;MINEA, MARIUS;PELED, DORON A.;YENIGUN, HUSNU
分类号 G06F11/36;G06F17/50;(IPC1-7):G06F17/50 主分类号 G06F11/36
代理机构 代理人
主权项
地址