Protocol specification, testing, and verification, XIII: proceedings of the IFIP WG 6.1, thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liege, Belgium, 25-28 May, 1993
Amsterdam
North-Holland
1993
xii, 380 p.: ill.; 23 cm
Includes bibliographical references and index
Congresses ، Computer network protocols
TK
5105
.
5
.
I34264
1993
AU
edited bye A. Danthine, G. Leduc, P. Wolper
AU .A ,enihtnaD
AU .G ,cudeL
AU .P ,reploW
TI
IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification )1993: 13th: Liege, Belgium(