{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:29:54Z","timestamp":1730305794092,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wimob.2005.1512930","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:35:47Z","timestamp":1159972547000},"page":"397-405","source":"Crossref","is-referenced-by-count":1,"title":["Correctness of fault-tolerant cluster-based beacon vector routing for ad hoc networks"],"prefix":"10.1109","volume":"3","author":[{"given":"L.","family":"Demoracski","sequence":"first","affiliation":[]},{"given":"D.R.","family":"Avresky","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/301308.301370"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/WCNC.2003.1200622"},{"key":"17","article-title":"Verifying protocols by model checking: A case study of the wireless application protocol and the model checker SPIN","author":"he","year":"0","journal-title":"Proceedings of the 2004 Conference of the Centre for Advanced Studies on Collaborative Research"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(91)90168-H"},{"key":"18","article-title":"Correctness of at-most-once message delivery protocols","author":"lampson","year":"1993","journal-title":"Proceedings of the Sixth International Conference on Formal Description Techniques"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2004.1303238"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/146637.146638"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.225"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.76"},{"journal-title":"Beacon vector routing Scalable point-to-point in wireless sensornets","year":"2004","author":"fonseca","key":"11"},{"key":"12","article-title":"A multilevel clustering and beacon vector routing algorithm for wireless sensor networks","volume":"3","author":"demoracski","year":"2005","journal-title":"The International Conference on Dependable Systems and Networks"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872044"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781339"},{"journal-title":"Efficient Self-organization of Large Wireless Sensor Networks","year":"2004","author":"krishnan","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019108612308"},{"key":"1","article-title":"Completeness and consistency in hierarchical state-based requirements","volume":"22","author":"leveson","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MOBIQ.2004.1331727"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2002.1036062"},{"key":"6","article-title":"Efficient broadcast with forward node set in clustered mobile ad hoc networks","author":"lou","year":"2002","journal-title":"Proceedings of the 11th International Conference on Computer Communications and Networks (ICCCN 2002)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2004.48"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.69"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/345848.345860"},{"key":"8","article-title":"Clustering algorithms for ad hoc wireless networks","volume":"2","author":"yuanzhu peter chen","year":"2005","journal-title":"In Ad Hoc and Sensor Networks Wireless Networks and Mobile Computing"}],"event":{"name":"WiMob'2005), IEEE International Conference on Wireless And Mobile Computing, Networking And Communications, 2005.","location":"Montreal, Canada"},"container-title":["WiMob'2005), IEEE International Conference on Wireless And Mobile Computing, Networking And Communications, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10102\/32400\/01512930.pdf?arnumber=1512930","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T00:32:08Z","timestamp":1489537928000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1512930\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/wimob.2005.1512930","relation":{},"subject":[]}}