B. H. Phan
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1984
Use of Formal Specifications for Protocol Design, Implementation and Testing.
Proceedings of the Protocol Specification, 1984