Protocol specification, testing, and verification
Subtitle: proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982
By: edited by Carl Sunshine
Contributors: Sunshine, Carl A; University of Southern California. Information Sciences Institute
Publisher: North-Holland Pub. Co.; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1982
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 572
Subjects: Computer network protocols -- Congresses
Notes: Includes bibliographical references and index