01343nam0-22003371i-450-99000045588040332120090618104504.00-444-87676-6000045588FED01000045588(Aleph)000045588FED0100004558820020821d1985----km-y0itay50------baenga-------001yyProtocol specification, testing, and verification, IVproceedings of the IFIP WG 6.1 fourth International workshop on protocol specification, testing, and verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., june 11-14, 1984edited by Yechiam Yemini, Robert Strom, Shaula YeminiAmsterdamNorth-Holland1985720 p.ill.24 cmProtocolli per reti di computerCongressi004.62Yemini,YechiamStrom,RobertYemini,ShaulaIFIP WG 6.1 International workshop on protocol specification, testing, and verification<4. ;1984 ;Skytop Lodge, Pennsylvania>491258ITUNINARICAUNIMARCBK99000045588040332110 PRO 538411 DISDINELDINELProtocol specification, testing, and verification, IV334478UNINA