{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:26:56Z","timestamp":1777519616521,"version":"3.51.4"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,12,2]],"date-time":"2006-12-02T00:00:00Z","timestamp":1165017600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2006,12,2]],"date-time":"2006-12-02T00:00:00Z","timestamp":1165017600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Wireless Inf Networks"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s10776-006-0047-9","type":"journal-article","created":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T18:01:28Z","timestamp":1164996088000},"page":"107-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Challenges in the Verification of Mobile Ad Hoc Networking Systems"],"prefix":"10.1007","volume":"14","author":[{"given":"Rich","family":"Folio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Bibb","family":"Cain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sastri","family":"Kota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,12,2]]},"reference":[{"key":"47_CR1","unstructured":"\u201cIETF MANET Working Group Information\u201d, http:\/\/www.ietf.org\/html.charters\/manet-charter.html"},{"key":"47_CR2","unstructured":"A. Goldsmith, \u201cCrossLayer Design in Ad hoc Wireless Networks\u201d, Business Application Session, New Network Paradigms: Sensor and Ad Hoc Network, ICC 2005, Seoul, Korea"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"S. L. Kota, E. Hossain, R. Fantacci, and A. Karmouch, Guest Editorial, Cross-layer protocol engineering for wireless mobile networks, Part 1. IEEE Communications Magazine, pp. 110\u2013111, December 2005 and Part II, IEEE Communications Magazine, pp. 83\u201384, January 2006","DOI":"10.1109\/MCOM.2005.1561927"},{"key":"47_CR4","doi-asserted-by":"crossref","unstructured":"S. Corson and J. Macker, Mobile ad hoc networking (manet): routing protocol performance issues and evaluation considerations. IETF RFC 2501, January 1999","DOI":"10.17487\/rfc2501"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"D. A. Maltz, J. Broch, and D. B. Johnson, Lessons from a full-scale multihop wireless ad hoc network testbed. IEEE Personal Communications, pp. 8\u201315, February 2001","DOI":"10.1109\/98.904894"},{"key":"47_CR6","unstructured":"S. H. Bae, S. Ju Lee, and M. Gerla, Unicast performance analysis of the ODMRP in a mobile ad hoc network testbed. In Proceedings of IEEE ICCCN 2000, Las Vegas, Nevada, pp. 148\u2013153, October 2000"},{"key":"47_CR7","unstructured":"W. Kiess, S. Zalewski, A. Tarp, and M. Mauve, Thoughts on mobile ad hoc network testbeds. In Proceedings of IEEE ICPS Workshop on Multihop Ad Hoc Networks, Santorini, Greece, pp. 93\u2013100, July 2005"},{"key":"47_CR8","unstructured":"S. Jadhav, T. X. Brown, S. Doshi, D. Henkel, and R. G. Thekkekunnel, Lessons learned constructing a wireless ad hoc network testbed. In Proceedings of the First Workshop on Wireless Network Measurements (WinMee 2005), Trentino, Italy, April 2005. http:\/\/www.winmee.org\/2005\/papers\/WinMee_Jadhav.pdf"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Y. Gournant, F. Jan, T. M. Rasheed, and R. Narayanan, Lessons gained from testbeds of ad hoc networks and perspectives. REALMAN \u201906, May 26, 2006, Florence, Italy, pp. 101\u2013103, 2006","DOI":"10.1145\/1132983.1133002"},{"key":"47_CR10","doi-asserted-by":"crossref","unstructured":"D. A. Beyer, Accomplishments of the DARPA survivable adaptive networks, SURAN program. In Proceedings MILCOM \u201990, pp. 855\u2013862, 1990","DOI":"10.1109\/MILCOM.1990.117536"},{"key":"47_CR11","unstructured":"X. Ma and E. L. Loyd, An incremental algorithm for broadcast scheduling in packet radio networks. In Proceedings of IEEE MILCOM \u201998, 1998"},{"key":"47_CR12","doi-asserted-by":"crossref","unstructured":"J. Bibb Cain, Tom Billhart, and Larry Foore, A link scheduling and ad hoc networking approach using directional antennas. In Proceedings IEEE MILCOM 2003, Boston, MA, pp. 1\u20136, October 15, 2003","DOI":"10.21236\/ADA467467"},{"key":"47_CR13","doi-asserted-by":"crossref","unstructured":"T. Clausen and P. Jacquet (Ed.), Optimize link state routing protocol (OLSR). IETF Request for Comments RFC.3626, October 2003","DOI":"10.17487\/rfc3626"}],"container-title":["International Journal of Wireless Information Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10776-006-0047-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10776-006-0047-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10776-006-0047-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10776-006-0047-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T06:25:38Z","timestamp":1736663138000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10776-006-0047-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,2]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["47"],"URL":"https:\/\/doi.org\/10.1007\/s10776-006-0047-9","relation":{},"ISSN":["1068-9605","1572-8129"],"issn-type":[{"value":"1068-9605","type":"print"},{"value":"1572-8129","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,2]]},"assertion":[{"value":"19 April 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 September 2006","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 December 2006","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}