Xizheng Shi

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong
Model-Checking a Secure Gorup Communication Protocol: A Case Study. FORTE (1999)