共 11 条
[1]
DAGA AJ, 1995, THESIS U MICHIGAN AN
[2]
DAGA AJ, 1995, P IEEE INT C COMP DE
[4]
DU DHC, 1989, P 26 IEEE ACM SIGDA
[5]
GUPTA A, 1994, P 31 IEEE ACM DES AU
[6]
HITCHCOCK RB, 1982, P 19 IEEE ACM SIGDA
[7]
Kohavi Z., 1978, Switching and Finite Automata Theory, V2nd
[8]
McGeer P.C., 1991, Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications
[9]
MCGEER PC, 1991, P IEEE INT C COMP AI
[10]
RIEPE MA, 1994, P INT C COMP AID DES