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