Title: Protocol specification, testing, and verification, IV
First published: 1985
Subjects: Computer network protocols, Congresses
LC classification: TK5105.5 .I3426 1984