Protocol specification, testing and verification, XIII / 
edited by A. Danthine, G. Leduc, P. Wolper 
 - xii, 380 páginas :  ilustraciones 
 - IFIP transactions ;  C.  ISSN 0926-549X ; .
<br/><br/> Subtitulo: Proceedings of the IFIP TC6/WG6.1 thirteenth International Symposium on protocol specification, testing and verification Liege, Belgium, 25-28 may, 1993 
<br/><br/><label>ISBN: </label>0444816488 (rustica) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Protocolos de redes de computadoras--Congresos
<br/><br/><label>LC Class. No.: </label>TK5105.55  / I575 1993