共 7 条
[1]
*AUT RES CORP, 1997, ETH BAS CONTR NETW S
[2]
*AUT RES CORP, 1998, WORLDW PLANT AUT SYS
[3]
EDMONDS C, 1992, ISA 9I ADV INSTRUMEN, V47
[4]
HOLZMANN G, 1993, DESIGN VALIDATION PR, P25
[5]
HOLZMANN GJ, 1997, IEEE T SOFTWARE ENG, V23
[6]
LOY D, 1995, P IEEE INT WORKSH FA
[7]
*TRUET INC, 1997, MOD 56005900 PCISG U