![]() | ![]() |
2008 | ||
---|---|---|
5 | EE | Li Guofu, Xia Wenming, Ye Feifan, Li Yongjian: Study on Production Process Control of Virtual Organization in Small and Medium-Sized Enterprises Based on Manufacturing Resource Workload. CSSE (6) 2008: 479-482 |
4 | EE | Li Jinkun, Wang Bo, Li Yongjian, Fu Hao: The Confirmatory Research on Representative Method of Knowledge Work Process. ITNG 2008: 285-290 |
2004 | ||
3 | EE | Li Yongjian, Xue Rui: Design of a CIL Connector to SPIN. COMPSAC 2004: 349-354 |
2 | EE | Li Yongjian, Xue Rui: Using SPIN to Model Cryptographic Protocols. ITCC (2) 2004: 741-745 |
2003 | ||
1 | EE | Li Yongjian, Jifeng He: Towards a Theory of Bisimulation for a Fragment of Verilog. IPDPS 2003: 239 |
1 | Wang Bo | [4] |
2 | Ye Feifan | [5] |
3 | Li Guofu | [5] |
4 | Fu Hao | [4] |
5 | Jifeng He | [1] |
6 | Li Jinkun | [4] |
7 | Xue Rui | [2] [3] |
8 | Xia Wenming | [5] |