We stand with Ukraine  

Xiaobo Li

Affiliations:
  • La Trobe University, School of Computer Science and Computer Engineering, Melbourne, Australia


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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Applying a new decomposition method to verify communication protocols.
[BibTeX]
[DOI]
Richard Lai
,
Xiaobo Li
J. Syst. Softw., 1998

1997
Verification of the ISO ACSE protocol using Deductive Machine.
[BibTeX]
[DOI]
Richard Lai
,
Xiaobo Li
J. Syst. Softw., 1997

1995
Simulation and Verification of Protocol Using Deductive Machine.
[BibTeX]
[DOI]
Richard Lai
,
Xiaobo Li
Simul., 1995

1993
A New Decomposition Method to Relieve the State Space Explosion Problem.
[BibTeX]
Xiaobo Li
,
Richard Lai
,
Tharam S. Dillon
Proceedings of the Computing and Information, 1993

1992
Theory of Deductive Systems for Protocol Verification.
[BibTeX]
Xiaobo Li
,
Richard Lai
,
Tharam S. Dillon
Proceedings of the Computing and Information, 1992


  Loading...