Title: Protocol Specification, Testing and Verification, VI (Proceedings of the Ifip Wg6.1, 6th Intl Workshop, Montreal, Quebec, Canada, June 10-13, 1986
Subjects: Computer network protocols, Congresses