dblp.uni-trier.dewww.uni-trier.de

Qizhi Ye

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1David Chenho Kung (Chenho Kung) [1] [2]
2Yu Lei [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)