2006 | ||
---|---|---|
2 | EE | Qizhi Ye, Yu Lei, David Chenho Kung: A Blocking-based Approach to Protocol Validation. Comput. J. 49(5): 541-553 (2006) |
2005 | ||
1 | EE | Yu Lei, David Chenho Kung, Qizhi Ye: A Blocking-Based Approach to Protocol Validation. COMPSAC (1) 2005: 301-306 |
1 | David Chenho Kung (Chenho Kung) | [1] [2] |
2 | Yu Lei | [1] [2] |