共 20 条
[1]
BOCHMAN GV, 1982, IEEE T COMPUT, V31
[3]
Dill D. L., 1985, 1985 Chapel Hill Conference on Very Large Scale Integration, P127
[4]
GABBAY DM, 1980, S PRINC PROGR LANG, P163
[5]
LEHMAN D, 1981, LECT NOTES COMPUT SC, P265
[6]
Martin A. J., 1985, 1985 Chapel Hill Conference on Very Large Scale Integration, P245
[7]
MARTIN AJ, 1985, CALTECH5193TR85 COMP
[8]
MILNER R, 1980, LECTURE NOTES COMPUT, V92
[9]
Molnar C. E., 1985, 1985 Chapel Hill Conference on Very Large Scale Integration, P67
[10]
MULLER DE, 1967, 8 ANN S SWITCH AUT T