![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Youjian Zhao, Zuhui Yue, Jian-Ping Wu: Research on Next-Generation Scalable Routers Implemented with H-Torus Topology. J. Comput. Sci. Technol. 23(4): 684-693 (2008) |
1989 | ||
1 | Jian-Ping Wu, Samuel T. Chanson: Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification. FORTE 1989: 533-549 |
1 | Samuel T. Chanson | [1] |
2 | Zuhui Yue | [2] |
3 | Youjian Zhao | [2] |