发明名称 STATE MACHINE CHECKER
摘要
申请公布号 AU615688(B2) 申请公布日期 1991.10.10
申请号 AU19880025194 申请日期 1988.11.16
申请人 TANDEM COMPUTERS INCORPORATED 发明人 MARTIN W. SANNER;SEEMA CHANDRA
分类号 G06F11/30;G06F11/00;G06F11/26;G06F11/28;G06F13/00;(IPC1-7):G06F11/16 主分类号 G06F11/30
代理机构 代理人
主权项
地址