共 11 条
[1]
DIAS FJO, 1976, IEEE T COMPUT, V25, P605, DOI 10.1109/TC.1976.1674660
[2]
Friedman A.D., 1971, FAULT DETECTION DIGI
[3]
EASILY TESTABLE ITERATIVE SYSTEMS
[J].
IEEE TRANSACTIONS ON COMPUTERS,
1973, C 22 (12)
:1061-1064
[4]
FRIEDMAN AD, 1971, THEORY MACHINES COMP
[5]
GRAY FG, 1978, IEEE T COMPUT, V27, P1206, DOI 10.1109/TC.1978.1675029
[6]
KAUTZ WH, 1967, 8TH P S SWITCH AUT T, P161
[8]
PARTHASARATHY R, 1979, 17TH ANN ALL C COMM
[10]
REDDY SG, UNPUBLISHED