Bairong Zhang

According to our database1, Bairong Zhang authored at least 2 papers between 1994 and 1996.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
Formal specification and verification of OSI protocols.
PhD thesis, 1996

1994
The formalization and analysis of CCR protocol and service.
Proceedings of the Formal Description Techniques VII, 1994


  Loading...