{"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":1772836154970,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540787990","type":"print"},{"value":"9783540788003","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78800-3_3","type":"book-chapter","created":{"date-parts":[[2008,4,2]],"date-time":"2008-04-02T08:26:19Z","timestamp":1207124779000},"page":"18-32","source":"Crossref","is-referenced-by-count":33,"title":["Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols"],"prefix":"10.1007","author":[{"given":"Mayank","family":"Saksena","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oskar","family":"Wibling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1007\/978-3-540-71209-1_56","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P.A. Abdulla","year":"2007","unstructured":"Abdulla, P.A., Delzanno, G., Rezine, A., Ben Henda, N.: Regular model checking without transducers (On Efficient Verification of Parameterized Systems). In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 721\u2013736. Springer, Heidelberg (2007)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1999.2843","volume":"160","author":"P.A. Abdulla","year":"2000","unstructured":"Abdulla, P.A., \u010cer\u0101ns, K., Jonsson, B., Yih-Kuen, T.: Algorithmic analysis of programs with well quasi-ordered domains. Information and Computation\u00a0160, 109\u2013127 (2000)","journal-title":"Information and Computation"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1006\/inco.1996.0053","volume":"127","author":"P.A. Abdulla","year":"1996","unstructured":"Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Information and Computation\u00a0127(2), 91\u2013101 (1996)","journal-title":"Information and Computation"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1570-8705(03)00043-X","volume":"2","author":"M. Abolhasan","year":"2004","unstructured":"Abolhasan, M., Wysocki, T., Dutkiewicz, E.: A review of routing protocols for mobile ad hoc networks. Ad Hoc Networks\u00a02(1), 1\u201322 (2004)","journal-title":"Ad Hoc Networks"},{"key":"3_CR5","unstructured":"Bauer, J.: Analysis of Communication Topologies by Partner Abstraction. PhD thesis, Universit\u00e4t des Saarlandes (2006)"},{"key":"3_CR6","volume-title":"14th International Static Analysis Symposium","author":"J. Bauer","year":"2007","unstructured":"Bauer, J., Wilhelm, R.: Static Analysis of Dynamic Communication Systems. In: 14th International Static Analysis Symposium, Springer, Heidelberg (2007)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1134285.1134297","volume-title":"Proc. ICSE 2006, 28 th Int. Conf. on Software Engineering","author":"B. Becker","year":"2006","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proc. ICSE 2006, 28\n                    th\n                   Int. Conf. on Software Engineering, pp. 72\u201381. ACM Press, New York (2006)"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1145\/581771.581775","volume":"49","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal verification of standards for distance vector routing protocols. Journal of the ACM\u00a049(4), 538\u2013576 (2002)","journal-title":"Journal of the ACM"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Broch, J., Maltz, D.A., Johnson, D.B., Hu, Y.-C., Jetcheva, J.: A performance comparison of multi-hop wireless ad hoc network routing protocols. In: Proceedings of MobiCom 1998 (October 1998)","DOI":"10.1145\/288235.288256"},{"key":"3_CR10","unstructured":"Chakeres, I.D., Perkins, C.E.: DYMO - Dynamic MANET On-demand Routing Protocol home page (2007), \n                    \n                      http:\/\/www.ianchak.com\/dymo\/"},{"key":"3_CR11","unstructured":"Chakeres, I.D., Perkins, C.E.: Dynamic MANET On-demand (DYMO) Routing. In: Internet draft, draft-ietf-manet-dymo-10.txt (July 2007)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-36126-X_2","volume-title":"Formal Methods in Computer-Aided Design","author":"S. Das","year":"2002","unstructured":"Das, S., Dill, D.L.: Counter-example based predicate discovery in predicate abstraction. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517, pp. 19\u201332. Springer, Heidelberg (2002)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Esparza, J., Finkel, A., Mayr, R.: On the verification of broadcast protocols. In: Proc. LICS 1999 14\n                    th\n                   IEEE Int. Symp. on Logic in Computer Science (1999)","DOI":"10.1109\/LICS.1999.782630"},{"key":"3_CR14","unstructured":"GBT - Graph Backwards Tool project home page. \n                    \n                      http:\/\/www.it.uu.se\/research\/group\/mobility\/adhoc\/gbt"},{"issue":"5","key":"3_CR15","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"SE-23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Trans. on Software Engineering\u00a0SE-23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR16","first-page":"139","volume-title":"Ad Hoc Networking, ch. 5","author":"D.B. Johnson","year":"2001","unstructured":"Johnson, D.B., Maltz, D.A., Broch, J.: DSR: The dynamic source routing protocol for multi-hop wireless ad hoc networks. In: Ad Hoc Networking, ch. 5, pp. 139\u2013172. Addison-Wesley, Reading (2001)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-60045-0_39","volume-title":"Computer Aided Verification","author":"B. Jonsson","year":"1995","unstructured":"Jonsson, B., Kempe, L.: Verifying safety properties of a class of infinite-state distributed algorithms. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 42\u201353. Springer, Heidelberg (1995)"},{"key":"3_CR18","first-page":"299","volume-title":"SPIN Workshop","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: SPIN Workshop, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11691372_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. K\u00f6nig","year":"2006","unstructured":"K\u00f6nig, B., Kozioura, V.: Counterexample-guided abstraction refinement for the analysis of graph transformation systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 197\u2013211. Springer, Heidelberg (2006)"},{"key":"3_CR20","unstructured":"List of ad-hoc routing protocols - Wikipedia, the free encyclopedia, \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/Ad_hoc_routing_protocol_list"},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/MCSA.1999.749281","volume-title":"Proc. 2nd Workshop on Mobile Computing Systems and Applications (WMCSA 1999)","author":"C.E. Perkins","year":"1999","unstructured":"Perkins, C.E., Belding-Royer, E.M.: Ad-hoc on-demand distance vector routing. In: Proc. 2nd Workshop on Mobile Computing Systems and Applications (WMCSA 1999), pp. 90\u2013100. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"3_CR22","unstructured":"Saksena, M., Wibling, O., Jonsson, B.: Graph grammar modeling and verification of ad hoc routing protocols. Technical Report 2007-035, Dept. of Information Technology, Uppsala University, Sweden (2007)"},{"key":"3_CR23","unstructured":"The official IETF MANET working group web page, \n                    \n                      http:\/\/www.ietf.org\/html.charters\/manet-charter.html"},{"key":"3_CR24","unstructured":"Tschudin, C., Gold, R., Rensfelt, O., Wibling, O.: LUNAR: a lightweight underlay network ad-hoc routing protocol and implementation. In: Proc. Next Generation Teletraffic and Wired\/Wireless Advanced Networking (NEW2AN) (February 2004)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78800-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:22:49Z","timestamp":1619522569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78800-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787990","9783540788003"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78800-3_3","relation":{},"subject":[]}}