共 6 条
[1]
BREUER M, 1976, DIAGNOSIS DESIGN DIG
[2]
CHAPPELL SG, 1974, BELL SYSTEM TECH OCT, P1451
[3]
HILL D, 1980, THESIS STANFORD U ST
[4]
HILL D, 1979, 177 STANF U COMP SYS
[5]
LUCKHAM DC, 1986, OCT P INT C COMP DES, P10
[6]
Nham H. N., 1980, Proceedings of the 17th Design Automation Conference, P610, DOI 10.1145/800139.804594