Li Yongjian

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Li Jinkun, Wang Bo, Li Yongjian, Fu Hao
The Confirmatory Research on Representative Method of Knowledge Work Process. ITNG (2008)
Li Yongjian, Xue Rui
Design of a CIL Connector to SPIN. COMPSAC (2004)
Li Yongjian, Xue Rui
Using SPIN to Model Cryptographic Protocols. ITCC (2) (2004)
Li Yongjian, Jifeng He
Towards a Theory of Bisimulation for a Fragment of Verilog. IPDPS (2003)