000 00744nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a0-444-86481-4
040 _aISI KOLKATA
041 _aEnglish
082 _a5.14
_bIn61
100 _aSunshine Carl
110 _aIFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 2nd : 1982 : California )
111 _aIFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 2nd
_cCalifornia,
_d1982
245 _aProtocol specification, testing and verification : proceedings
260 _aAmsterdam
_bNorth Holland
_c1982
300 _a573p
650 _aComputer science
650 _aProtocol specification
942 _cBK
999 _c107344
_d107344