000 00399nam a22001457a 4500
005 20220518154653.0
008 171023b xxu||||| |||| 00| 0 eng d
041 _aeng
082 _a6057
100 _aAnchal J vattakunnel
_92688
245 _aModelling and Verification of CoAP using Spin Model checker
260 _aKochi 22
_bDepartment of Computer Science,
_c2016
300 _a54p.
942 _cBK
999 _c241478
_d241478