Xiaobo Li

According to our database1, Xiaobo Li authored at least 5 papers between 1992 and 1998.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1998
Applying a new decomposition method to verify communication protocols.
J. Syst. Softw., 1998

1997
Verification of the ISO ACSE protocol using Deductive Machine.
J. Syst. Softw., 1997

1995
Simulation and Verification of Protocol Using Deductive Machine.
Simul., 1995

1993
A New Decomposition Method to Relieve the State Space Explosion Problem.
Proceedings of the Computing and Information, 1993

1992
Theory of Deductive Systems for Protocol Verification.
Proceedings of the Computing and Information, 1992


  Loading...