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