000 00749nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a0-444-87676-6
040 _aISI KOLKATA
041 _aEnglish
082 _a5.14
_bIn61
100 _aYemini Yechiam
110 _aIFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 4th : 1984 : Pennsylvania )
111 _aIFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 4th
_cPennsylvania,
_d1984
245 _aProtocol specification, testing and verification : proceedings
260 _aAmsterdam
_bNorth Holland
_c1985
300 _a720p
650 _aComputer science
650 _aProtocol specification
942 _cBK
999 _c107749
_d107749