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