共 10 条
[2]
HOFSTEE HP, 1991, UNPUB DERIVING SOME
[4]
Long S.I., 1990, GALLIUM ARSENIDE DIG
[5]
Martin A. J., 1992, Formal Methods in System Design, V1, P117, DOI 10.1007/BF00464358
[6]
MARTIN AJ, 1989, ADVANCED RESEARCH IN VLSI : PROCEEDINGS OF THE DECENNIAL CALTECH CONFERENCE ON VLSI, P351
[8]
MARTIN AJ, 1990, FORMAL METHODS FOR VLSI DESIGN, P237
[10]
TIERNO JA, 1992, CSTR9219 CALTECH