{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:15:07Z","timestamp":1772835307499,"version":"3.50.1"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1109\/wcnc.2017.7925622","type":"proceedings-article","created":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T17:39:45Z","timestamp":1494610785000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs"],"prefix":"10.1109","author":[{"given":"Youcef","family":"Hammal","sequence":"first","affiliation":[]},{"given":"Manel","family":"Seddiki","sequence":"additional","affiliation":[]},{"given":"Mahfoud","family":"Benchaiba","sequence":"additional","affiliation":[]},{"given":"Abdelkrim","family":"Abdelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"309","article-title":"Software Model Checking","volume":"180","author":"holzmann","year":"2000","journal-title":"NATO Int Summer School"},{"key":"ref3","article-title":"A Tutorial on Uppaal","author":"behrmann","year":"2004","journal-title":"Proc of 4th Intl School on Formal Methods for the Design of Computer Communication and Software Systems LNCS 3185"},{"key":"ref10","first-page":"517530","article-title":"An efficient unstructured p2p overlay for file sharing over manets using underlying reactive routing","volume":"12","author":"shah","year":"2011","journal-title":"Journal of Internet Technology (SCIE)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WOWMOM.2005.40"},{"key":"ref11","first-page":"248255","article-title":"An efficient overlay for unstructured p2p file sharing over manet using underlying proactive routing","author":"shah","year":"2011","journal-title":"Proceedings of International Conference on Mobile Ad-hoc and Sensor Networks (MSN)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/BSC.2010.5473013"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383071"},{"key":"ref8","article-title":"Pastry: Scalable, distributed object location and routing for large-scale peer-to-peer systems","author":"rowstron","year":"2001","journal-title":"Proc of ACM Middleware"},{"key":"ref7","first-page":"5057","volume":"6","author":"ripeanu","year":"2002","journal-title":"Mapping the Gnutella network Internet Computing"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-015-0413-4"},{"key":"ref9","article-title":"Toward a match between the P2P overlay and the MANET underlay","author":"seddiki","year":"2015","journal-title":"ICDCN '15 Proceedings of the International Conference on Distributed Computing and Networking"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"}],"event":{"name":"2017 IEEE Wireless Communications and Networking Conference (WCNC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2017,3,19]]},"end":{"date-parts":[[2017,3,22]]}},"container-title":["2017 IEEE Wireless Communications and Networking Conference (WCNC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7924448\/7925429\/07925622.pdf?arnumber=7925622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T14:31:49Z","timestamp":1513175509000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7925622\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/wcnc.2017.7925622","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}