{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T06:53:49Z","timestamp":1722927229218},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/pimrc.2005.1651654","type":"proceedings-article","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T20:10:31Z","timestamp":1154549431000},"page":"1317-1321","source":"Crossref","is-referenced-by-count":0,"title":["Challenges in the Verification of Mobile AD-HOC Networking Systems Invited Paper"],"prefix":"10.1109","volume":"2","author":[{"given":"R.","family":"Folio","sequence":"first","affiliation":[]},{"given":"J.B.","family":"Cain","sequence":"additional","affiliation":[]},{"given":"S.","family":"Kota","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Lessons Learned Constructing a Wireless Ad Hoc Network Test Bed","year":"0","author":"jadhav","key":"3"},{"key":"2","article-title":"CrossLayer Design in Ad-Hoc Wireless Networks","author":"goldsmith","year":"2005","journal-title":"Business Application Session New Network Paradigms Sensor and Ad Hoc Network ICC"},{"journal-title":"Working Group Information","year":"0","author":"manet","key":"1"},{"key":"4","first-page":"1","author":"bibb cain","year":"2003","journal-title":"Proc IEEE MILCOM 2003 Boston MA October 15"}],"event":{"name":"2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications","location":"Berlin, Germany"},"container-title":["2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10989\/34627\/01651654.pdf?arnumber=1651654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T13:05:15Z","timestamp":1489583115000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1651654\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/pimrc.2005.1651654","relation":{},"subject":[]}}