Sijian Zhang, Samuel T. Chanson. An approach to evaluating the performance of communication protocols based on formal specifications. In 1993 International Conference on Network Protocols, ICNP 1993, San Francisco, CA, USA, October 19-22, 1993, Proceedings. pages 358-366, IEEE, 1993. [doi]
No references recorded for this publication.
No citations of this publication recorded.