Protocol specification, testing and verification, XIII
Subtitle: proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993
By: edited by A. Danthine, G. Leduc, P. Wolper.
Contributors: Danthine, A.; Leduc, G.; Wolper, P.; International Federation for Information Processing. Technical Committee 6.
Series: IFIP transactions -- C-16
Publisher: North-Holland
Published: 1993
Place of publication: Amsterdam; London
Language: eng
Number of pages: 380
Subjects: Computer network protocols -- Congresses
Notes: Conference proceedings.

Includes index.

Includes bibliographical references.