共 3 条
[1]
Guo JF, 1999, LECT NOTES COMPUT SC, V1679, P287
[2]
SAJJAN G, 1998, INTRO LOGIC DESIGN
[3]
YAN T, 2003, THESIS VUB