{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:19:19Z","timestamp":1772835559449,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642401954","type":"print"},{"value":"9783642401961","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40196-1_32","type":"book-chapter","created":{"date-parts":[[2013,7,23]],"date-time":"2013-07-23T01:54:56Z","timestamp":1374544496000},"page":"389-404","source":"Crossref","is-referenced-by-count":12,"title":["Topology-Based Mobility Models for Wireless Networks"],"prefix":"10.1007","author":[{"given":"Ansgar","family":"Fehnker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"H\u00f6fner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maryam","family":"Kamali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vinay","family":"Mehta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Basu, P., Redi, J., Shurbanov, V.: Coordinated flocking of UAVs for improved connectivity of mobile ground nodes. In: MILCOM 2004, pp. 1628\u20131634. IEEE (2004)"},{"issue":"5","key":"32_CR2","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1023\/B:WINE.0000036458.88990.e5","volume":"10","author":"C. Bettstetter","year":"2004","unstructured":"Bettstetter, C., Hartenstein, H., P\u00e9rez-Costa, X.: Stochastic properties of the random waypoint mobility model. Wireless Networks\u00a010(5), 555\u2013567 (2004)","journal-title":"Wireless Networks"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Bulychev, P., David, A., Larsen, K., Miku\u010dionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: Statistical model checking for priced timed automata. In: Wiklicky, H., Massink, M. (eds.) Quantitative Aspects of Programming Languages and Systems. EPTCS, vol.\u00a085, pp. 1\u201316. Open Publishing Association (2012)","DOI":"10.4204\/EPTCS.85.1"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Camp, T., Boleng, J., Davies, V.: A survey of mobility models for ad hoc network research. In: Wireless Communications & Mobile Computing (WCMC 2002), pp. 483\u2013502 (2002)","DOI":"10.1002\/wcm.72"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-642-28869-2_15","volume-title":"ESOP 2012","author":"A. Fehnker","year":"2012","unstructured":"Fehnker, A., van Glabbeek, R., H\u00f6fner, P., McIver, A., Portmann, M., Tan, W.L.: A process algebra for wireless mesh networks. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 295\u2013315. Springer, Heidelberg (2012)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-28756-5_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Fehnker","year":"2012","unstructured":"Fehnker, A., van Glabbeek, R., H\u00f6fner, P., McIver, A., Portmann, M., Tan, W.L.: Automated analysis of AODV using UPPAAL. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 173\u2013187. Springer, Heidelberg (2012)"},{"key":"32_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-73210-5_14","volume-title":"Integrated Formal Methods","author":"A. Fehnker","year":"2007","unstructured":"Fehnker, A., van Hoesel, L., Mader, A.: Modelling and verification of the LMAC protocol for wireless sensor networks. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol.\u00a04591, pp. 253\u2013272. Springer, Heidelberg (2007)"},{"key":"32_CR8","series-title":"LNCS","volume-title":"FSEN 2013","author":"F. Ghassemi","year":"2013","unstructured":"Ghassemi, F., Ahmadi, S., Fokkink, W., Movaghar, A.: Model checking mANETs with arbitrary mobility. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol.\u00a08161. Springer, Heidelberg (2013)"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72794-1_8","volume-title":"Coordination Models and Languages","author":"J.C.. Godskesen","year":"2007","unstructured":"Godskesen, J.C.: A calculus for mobile ad hoc networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 132\u2013150. Springer, Heidelberg (2007)"},{"issue":"5","key":"32_CR10","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/s11276-006-6535-0","volume":"12","author":"R. Groenevelt","year":"2006","unstructured":"Groenevelt, R., Altman, E., Nain, P.: Relaying in mobile ad hoc networks: the Brownian motion mobility model. Wireless Networks\u00a012(5), 561\u2013571 (2006)","journal-title":"Wireless Networks"},{"key":"32_CR11","unstructured":"van Hoesel, L., Havinga, P.: A lightweight medium access protocol (LMAC) for wireless sensor networks: Reducing preamble transmissions and transceiver state switches. In: Networked Sensing Systems, INSS 2004, pp. 205\u2013208. Society of Instrument and Control Engineers (SICE) (2004)"},{"key":"32_CR12","unstructured":"van Hoesel, L.: Sensors on speaking terms: schedule-based medium access control protocols for wireless sensor networks. Ph.D. thesis, University of Twente (2007)"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"McGuire, M.: Stationary distributions of random walk mobility models for wireless ad hoc networks. In: Mobile Ad Hoc Networking and Computing (MobiHoc 2005), pp. 90\u201398. ACM (2005)","DOI":"10.1145\/1062689.1062702"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Perkins, C., Royer, E.: Ad-hoc On-Demand Distance Vector Routing. In: 2nd IEEE Workshop on Mobile Computing Systems and Applications, pp. 90\u2013100 (1999)","DOI":"10.1109\/MCSA.1999.749281"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Roy, R.R.: Handbook of Mobile Ad Hoc Networks for Mobility Models. Springer (2011)","DOI":"10.1007\/978-1-4419-6050-4"},{"key":"32_CR16","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-15240-5_7","volume-title":"Theoretical Computer Science","author":"L. Song","year":"2010","unstructured":"Song, L., Godskesen, J.C.: Probabilistic mobility models for mobile and wireless networks. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol.\u00a0323, pp. 86\u2013100. Springer, Heidelberg (2010)"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Tschirner, S., Xuedong, L., Yi, W.: Model-based validation of qos properties of biomedical sensor networks. In: Embedded Software (EMSOFT 2008), pp. 69\u201378. ACM (2008)","DOI":"10.1145\/1450058.1450069"},{"key":"32_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-540-30232-2_22","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"O. Wibling","year":"2004","unstructured":"Wibling, O., Parrow, J., Pears, A.N.: Automatized verification of ad hoc routing protocols. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 343\u2013358. Springer, Heidelberg (2004)"},{"key":"32_CR19","doi-asserted-by":"crossref","unstructured":"Yoon, J., Liu, M., Noble, B.: Random waypoint considered harmful. In: Joint Conference of the IEEE Computer and Communications (INFOCOM 2003). IEEE (2003)","DOI":"10.1109\/INFCOM.2003.1208967"},{"key":"32_CR20","unstructured":"Younes, H.: Verification and Planning for Stochastic Processes with Asynchronous Events. Ph.D. thesis, Carnegie Mellon University (2004)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40196-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T02:53:13Z","timestamp":1557975193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40196-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401954","9783642401961"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40196-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}