{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T23:37:18Z","timestamp":1791329838491,"version":"4.3.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221203","type":"print"},{"value":"9783540259596","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25959-6_40","type":"book-chapter","created":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T15:09:47Z","timestamp":1287846587000},"page":"479-485","source":"Crossref","is-referenced-by-count":138,"title":["The GROOVE Simulator: A\u00a0Tool for State Space Generation"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/978-0-387-35608-2_36","volume-title":"Foundations of Information Technology in the Era of Network and Mobile Computing","author":"D. Distefano","year":"2002","unstructured":"Distefano, D., Rensink, A., Katoen, J.-P.: Model checking birth and death. In: Baeza-Yates, R.A., Montanari, U., Santoro, N. (eds.) Foundations of Information Technology in the Era of Network and Mobile Computing, pp. 435\u2013447. Kluwer, Dordrecht (2002)"},{"issue":"3\/4","key":"40_CR2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3\/4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"issue":"1-2","key":"40_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. TCS\u00a0109(1-2), 181\u2013224 (1993)","journal-title":"TCS"},{"key":"40_CR4","unstructured":"Rensink, A.: Towards model checking graph grammars. In: Leuschel, Gruner, and Lo Presti, editors, Proceedings of the 3rd Workshop on Automated Verification of Critical Systems, Technical Report DSSE\u2013TR\u20132003\u20132, pp. 150\u2013160. University of Southampton (2003)"},{"key":"40_CR5","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Foundations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol.\u00a0I. World Scientific, Singapore (1997)"},{"issue":"1","key":"40_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. ACM ToPLaS\u00a020(1), 1\u201350 (1998)","journal-title":"ACM ToPLaS"},{"key":"40_CR7","series-title":"ENTCS","volume-title":"UNIGRA","author":"G. Taentzer","year":"2001","unstructured":"Taentzer, G.: Towards common exchange formats for graphs and graph transformation systems. In: Ehrig, Ermel, Padberg (eds.) UNIGRA. ENTCS, vol.\u00a044, Elsevier, Amsterdam (2001)"},{"key":"40_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/3-540-45875-1_25","volume-title":"Software Visualization","author":"A. Winter","year":"2002","unstructured":"Winter, A., Kullbach, B., Riediger, V.: An overview of the GXL graph exchange language. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol.\u00a02269, pp. 324\u2013336. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25959-6_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:19:35Z","timestamp":1620011975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25959-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221203","9783540259596"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25959-6_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}