Title: Protocol specification, testing and verification, XIII
Subjects: Computer network protocols, Congresses