Theory of Deductive Systems for Protocol Verification. - Xiaobo Li 005; Richard Lai 001; Tharam S. Dillon (ICCI, 1992)

A New Decomposition Method to Relieve the State Space Explosion Problem. - Xiaobo Li 005; Richard Lai 001; Tharam S. Dillon (ICCI, 1993)

Simulation and Verification of Protocol Using Deductive Machine. - Richard Lai 001; Xiaobo Li 005 (Simul., 1995)

Verification of the ISO ACSE protocol using Deductive Machine. - Richard Lai 001; Xiaobo Li 005 (J. Syst. Softw., 1997)

Applying a new decomposition method to verify communication protocols. - Richard Lai 001; Xiaobo Li 005 (J. Syst. Softw., 1998)