Jeffrey X. W. Su
发表
Kien A. Hua,
Jeffrey X. W. Su,
1993,
IEEE Trans. Computers.
Kien A. Hua,
Chau M. Hua,
Jeffrey X. W. Su,
1993,
Proceedings of IEEE 9th International Conference on Data Engineering.
David L. Dill,
Clark W. Barrett,
Jeffrey X. Su,
1996,
FMCAD.