Title: Protocol specification, testing, and verification, VIII
First published: 1988
Subjects: Computer network protocols, Congresses