{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:05:20Z","timestamp":1748664320672,"version":"3.41.0"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234038"},{"type":"electronic","value":"9783319234045"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23404-5_2","type":"book-chapter","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T00:57:19Z","timestamp":1440550639000},"page":"13-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Backes","sequence":"first","affiliation":[]},{"given":"Jan","family":"Reineke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,27]]},"reference":[{"key":"2_CR1","unstructured":"Backes, P.: dcs2gts - An interface between XML-coded DCS protocols and the hiralysis representation of graph transformation grammars. Fopra report, Saarland University, January 2007"},{"key":"2_CR2","unstructured":"Backes, P., Reineke, J.: Abstract topology analysis of the join phase of the merge protocol. In: TTC 2010, CTIT Workshop Proceedings, vol. WP10-03, pp. 127\u2013133. University of Twente, Enschede (2010)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-662-46081-8_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P Backes","year":"2015","unstructured":"Backes, P., Reineke, J.: Analysis of infinite-state graph transformation systems by cluster abstraction. In: D\u2019Souza, D., Lal, A., Larsen, K.G. (eds.) VMCAI 2015. LNCS, vol. 8931, pp. 135\u2013152. Springer, Heidelberg (2015)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, J., Schaefer, I., Toben, T., Westphal, B.: Specification and verification of dynamic communication systems. In: ACSD 2006, pp. 189\u2013200 (2006)","DOI":"10.1109\/ACSD.2006.29"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, J.: Analysis of Communication Topologies by Partner Abstraction. Ph.D. thesis, Saarland University (2006)","DOI":"10.1007\/978-3-540-74061-2_16"},{"key":"2_CR6","unstructured":"Bauer, J., Toben, T., Westphal, B.: Mind the shapes: Abstraction refinement via topology invariants. Technical report 22, SFB\/TR 14 AVACS, June 2007"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, B., Kozioura, V.: Augur 2\u2013a new version of a tool for the analysis of graph transformation systems. In: Bruni, R., Varr\u00f3, D. (eds.) GT-VMT 2006, ENTCS, vol. 2011, pp. 201\u2013210 (2008)","DOI":"10.1016\/j.entcs.2008.04.042"},{"key":"2_CR8","unstructured":"Rakow, J.: Verification of Dynamic Communication Systems. Diploma thesis, Carl-von-Ossietzky Universit\u00e4t Oldenburg, April 2006"},{"key":"2_CR9","unstructured":"Zambon, E.: Abstract graph transformation : theory and practice. Ph.D. thesis, University of Twente (2013)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23404-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:38:05Z","timestamp":1748579885000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23404-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234038","9783319234045"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23404-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"27 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}