{"_id":"9jLjXqQ8HCyRjLnZe","bibbaseid":"alnuem-zafar-imran-ullah-fayed-formalspecificationandvalidationofalocalizedalgorithmforsegregationofcriticalnoncriticalnodesinmahsns-2014","author_short":["Alnuem, M. A.","Zafar, N. A.","Imran, M.","Ullah, S.","Fayed, M. S."],"bibdata":{"bibtype":"article","type":"article","title":"Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs","volume":"10","doi":"10/gcbdk3","number":"6","journal":"International Journal of Distributed Sensor Networks","author":[{"propositions":[],"lastnames":["Alnuem"],"firstnames":["Mohammed","Abdullah"],"suffixes":[]},{"propositions":[],"lastnames":["Zafar"],"firstnames":["Nazir","Ahmad"],"suffixes":[]},{"propositions":[],"lastnames":["Imran"],"firstnames":["Muhammad"],"suffixes":[]},{"propositions":[],"lastnames":["Ullah"],"firstnames":["Sana"],"suffixes":[]},{"propositions":[],"lastnames":["Fayed"],"firstnames":["Mahmoud","S."],"suffixes":[]}],"year":"2014","pages":"140973","bibtex":"@article{alnuem_formal_2014,\n\ttitle = {Formal {Specification} and {Validation} of a {Localized} {Algorithm} for {Segregation} of {Critical}/{Noncritical} {Nodes} in {MAHSNs}},\n\tvolume = {10},\n\tdoi = {10/gcbdk3},\n\tnumber = {6},\n\tjournal = {International Journal of Distributed Sensor Networks},\n\tauthor = {Alnuem, Mohammed Abdullah and Zafar, Nazir Ahmad and Imran, Muhammad and Ullah, Sana and Fayed, Mahmoud S.},\n\tyear = {2014},\n\tpages = {140973},\n}\n\n","author_short":["Alnuem, M. A.","Zafar, N. A.","Imran, M.","Ullah, S.","Fayed, M. S."],"key":"alnuem_formal_2014","id":"alnuem_formal_2014","bibbaseid":"alnuem-zafar-imran-ullah-fayed-formalspecificationandvalidationofalocalizedalgorithmforsegregationofcriticalnoncriticalnodesinmahsns-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","specification","validation","localized","algorithm","segregation","critical","noncritical","nodes","mahsns","alnuem","zafar","imran","ullah","fayed"],"title":"Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs","year":2014}