{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:29:14Z","timestamp":1772836154096,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540266129","type":"print"},{"value":"9783540315391","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_11","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T01:58:08Z","timestamp":1279072688000},"page":"162-173","source":"Crossref","is-referenced-by-count":1,"title":["ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Gl\u00e4sser","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Prinz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-36498-6_11","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"A. Benczur","year":"2003","unstructured":"Benczur, A., Gl\u00e4sser, U., Lukovszki, T.: Formal Description of a Distributed Location Service for Ad Hoc Mobile Networks. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 204\u2013217. Springer, Heidelberg (2003)"},{"key":"11_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"11_CR3","unstructured":"Cinderella home page, URL: \n                    \n                      http:\/\/www.cinderella.dk"},{"key":"11_CR4","volume-title":"SDL \u2014 Formal Object-oriented Language for Communicating Systems","author":"J. Ellsberger","year":"1997","unstructured":"Ellsberger, J., Hogrefe, D., Sarma, A.: SDL \u2014 Formal Object-oriented Language for Communicating Systems. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Gl\u00e4sser, U., Gu, Q.-P.: Formal Description and Analysis of a Distributed Location Service for Mobile Ad Hoc Networks. Theoretical Computer Science (May 2005)","DOI":"10.1016\/j.tcs.2004.11.009"},{"issue":"6","key":"11_CR6","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/65.967595","volume":"15","author":"M. Mauve","year":"2001","unstructured":"Mauve, M., Widmer, J., Hartenstein, H.: A Survey on Position-Based Routing in Mobile Ad-Hoc Networks. IEEE Network\u00a015(6), 30\u201339 (2001)","journal-title":"IEEE Network"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:44:11Z","timestamp":1619505851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11506843_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}