共 29 条
[1]
ABRAMOVICI M, 1985, SEP P INT TEST C, P49
[2]
AGRAWAL V, 1988, P DESIGN AUTOMATION, P84
[3]
AHO A, 1975, COMPUTER SCI INFORMA, P189
[4]
Breuer M. A., 1976, DIAGNOSIS RELIABLE D
[5]
Brglez F., 1989, P INT S CIRC SYST, P1929, DOI DOI 10.1109/ISCAS.1989.100747
[6]
CHENG K, 1988, INT S FAULT TOLERANT, P24
[7]
Cheng W.-T., 1988, Proceedings of the 1988 IEEE International Conference on Computer Design: VLSI in Computers and Processors - ICCD '88 (Cat. No.88CH2643-5), P66, DOI 10.1109/ICCD.1988.25661
[8]
CHENG WT, 1989, P INT S CIRC SYST JU, P1939
[9]
Church A., 1956, INTRO MATH LOGIC, VI
[10]
FUJIWARA H, 1983, IEEE T COMPUT, V32, P1137, DOI 10.1109/TC.1983.1676174