共 11 条
[1]
BRUNVAND EL, 1989, P ICCAD
[2]
BRUNVAND EL, 1987, CMUCS87119 CARN U CO
[3]
CLARK WA, 1974, COMPUTERS BIOMEDICAL, V4, P45
[4]
DILL DL, 1989, TRACE THEORY AUTOMAT
[5]
HENNESSY JL, 1990, COMPUTER ARCHITECTUR, P261
[6]
Hoare C.A.R., 1985, COMMUNICATING SEQUEN
[7]
Mead C., 1980, INTRO VLSI SYSTEMS
[9]
POPESCU V, 1991, IEEE MICRO, V11, P63
[10]
SUTHERLAND I, 1991, ADV RES VLSI