International Symposium on Protocol Specification, Testing and Verification,, 13,
Protocol specification, testing and verification : proceedings / Thirteenth International Symposium... ; ed. A. Danthine, G. Leduc, P. Wolper
Protocol specification, testing and verification : proceedings / Thirteenth International Symposium... ; ed. A. Danthine, G. Leduc, P. Wolper
. - Amsterdam : North-Holland, 1993
. - XII, 380 p. 23 cm
. - (IFIP transactions C., Communication systems; 16)
0-444-81648-8 (Brochado)
681.324
519.81