01217nam0-22003131i-450-99000046003040332120090219095302.00-444-86481-4000046003FED01000046003(Aleph)000046003FED0100004600320020821d1982----km-y0itay50------baenga-------101yyProtocol specification, testing, and verificationproceedings of the IFIP WG6.1 second international workshop on protocol specifictaion, testing, and verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 may 1982edited by Carl SunshineAmsterdamNorth-Holland1982572 p.ill.23 cmProtocolli per reti di computerCongressi004.62Sunshine,CarlIFIP WG 6.1 International workshop on protocl specification, testing, and verification<2. ;1982 ;Idyllwild, California>491327ITUNINARICAUNIMARCBK99000046003040332110 PRO 1881848 CCEDINELDINELProtocol specification, testing, and verification334695UNINA