Title: Protocol specification, testing and verification, VI
First published: 1987
Subjects: Computer network protocols
LC classification: TK5105.5