Xiaobo Li

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Publications

Richard Lai, Xiaobo Li
Applying a new decomposition method to verify communication protocols. J. Syst. Softw. 40 (1) (1998)
Richard Lai, Xiaobo Li
Verification of the ISO ACSE protocol using Deductive Machine. J. Syst. Softw. 39 (3) (1997)
Richard Lai, Xiaobo Li
Simulation and Verification of Protocol Using Deductive Machine. Simul. 65 (5) (1995)
Xiaobo Li, Richard Lai, Tharam S. Dillon
A New Decomposition Method to Relieve the State Space Explosion Problem. ICCI (1993)
Xiaobo Li, Richard Lai, Tharam S. Dillon
Theory of Deductive Systems for Protocol Verification. ICCI (1992)