Inder M. Singh. Implementation of Standard LAN Protocols - Tools for Development and Verification. In COMPCON 84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27 - March 1, 1984. pages 261-265, IEEE Computer Society, 1984.
Abstract is missing.