Protocol specification, testing and verification, XIII : Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liege, Belgium, 25-28 May, 1993
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amesterdam, Netherlands
Name of Publisher, Distributor, etc.
Elsevier Science Publishers
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 380 p
GENERAL NOTES
Text of Note
Includes bibliographies
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer network protocols - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
Book number
5105
.
5
Classification Record Number
.
I34264
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
edited by A. Danthine, G. Leduc, P. Wolper
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification )13th : 1993 : Liege, Belgium(