000 00472nam a22001457a 4500
003 NUST
038 _aAtta
082 _aBESE-1 AIN
100 _aAinan Ihsan
_992218
245 _aFormal verification of leach protocol, and its extensions along with a remote serial network
260 _aNUST SEECS Islamabad
_bNUST SEECS Islamabad
_c2014
500 _aSupervisor ; Dr Osman Hassan
856 _uhttp://10.250.8.41:8080/xmlui/handle/123456789/24303
942 _cBK
_2ddc
999 _c12979
_d12979