共 48 条
[1]
BAETEN JCM, 1989, P8916 U AMST PROGR R
[2]
BARBACCI MR, 1987, LECT NOTES COMPUT SC, V259, P124
[3]
BERGSTRA JA, 1984, INFORMATION CONTROL, V60
[4]
BURCH JR, 1989, P INT C COMPUTER DES
[5]
CASTRO J, 1990, THESIS IMPERIAL COLL
[6]
Chen L., 1978, 8TH ANN INT S FAULT, P3
[7]
COOLAHAN J, 1986, IEEE T SOFTWARE ENG, V9, P603
[8]
Dill David L., 1988, THESIS CARNEGIE MELL
[9]
DILL DL, 1988, ADV RES VLSI
[10]
GERTH R, 1987, LECTURE NOTES COMPUT, V267, P95