共 9 条
[2]
[Anonymous], 1998, 12331998 IEEE, DOI [10.1109/IEEESTD.1998.88826, DOI 10.1109/IEEESTD.1998.88826]
[3]
Drusinsky D, 2006, MODELING VERIFICATIO
[4]
Drusinsky D, 2007, IEEE DISTRIBUTED SYS, V8
[5]
Drusinsky D, 2007, OVERVIEW ROUTING PRO
[6]
Havelund K., 2000, STTT, V2, P366
[7]
Heitmeyer CL, 2007, J UNIVERS COMPUT SCI, V13, P607
[8]
*IEEE, 2004, 10122004 IEEE
[9]
IEEE, 1990, 610121990 IEEE