{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:50Z","timestamp":1747807910063},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642002540"},{"type":"electronic","value":"9783642002557"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00255-7_18","type":"book-chapter","created":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T07:12:32Z","timestamp":1233990752000},"page":"261-276","source":"Crossref","is-referenced-by-count":3,"title":["Application of Graph Transformation in Verification of Dynamic Systems"],"prefix":"10.1007","author":[{"given":"Zarrin","family":"Langari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Trefler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A static analysis technique for graph transformation systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-28644-8_6","volume-title":"CONCUR 2004 - Concurrency Theory","author":"P. Baldan","year":"2004","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: Verifying finite-state graph grammars: an unfolding-based approach. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 83\u201398. Springer, Heidelberg (2004)"},{"key":"18_CR3","unstructured":"Baldan, P., K\u00f6nig, B., Rensink, A.: Summary 2: Graph grammar verification through abstraction. In: Dagstuhl Seminar Proceedings, vol.\u00a004241 (2005)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"L. Baresi","year":"2002","unstructured":"Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 402\u2013429. Springer, Heidelberg (2002)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: ICSE 2006, pp. 72\u201381 (2006)","DOI":"10.1145\/1134285.1134297"},{"issue":"2","key":"18_CR6","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/23005.24038","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P., Montanari, U.: A model for distributed systems based on graph rewriting. J. ACM\u00a034(2), 411\u2013449 (1987)","journal-title":"J. ACM"},{"key":"18_CR7","first-page":"289","volume":"3","author":"O.M. Santos dos","year":"2006","unstructured":"dos Santos, O.M., Dotti, F.L., Ribeiro, L.: Verifying object-based graph grammars. Software and System Modeling\u00a0(3), 289\u2013311 (2006)","journal-title":"Software and System Modeling"},{"key":"18_CR8","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, New York (2006)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/11841883_31","volume-title":"Graph Transformations","author":"A. Habel","year":"2006","unstructured":"Habel, A., Pennemann, K., Rensink, A.: Weakest preconditions for high-level programs. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 445\u2013460. Springer, Heidelberg (2006)"},{"issue":"10","key":"18_CR10","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/32.729683","volume":"24","author":"M. Jackson","year":"1998","unstructured":"Jackson, M., Zave, P.: Distributed feature composition: A virtual architecture for telecommunications services. Software Engineering\u00a024(10), 831\u2013847 (1998)","journal-title":"Software Engineering"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/11813040_24","volume-title":"FM 2006: Formal Methods","author":"Z. Langari","year":"2006","unstructured":"Langari, Z., Trefler, R.: Formal modeling of communication protocols by graph transformation. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 348\u2013363. Springer, Heidelberg (2006)"},{"key":"18_CR13","unstructured":"Rensink, A., Distefano, D.: Abstract graph transformation. In: International Workshop on Software Verification and Validation (SVV) (2005)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, Foundations","year":"1997","key":"18_CR14","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modelling (2003)","DOI":"10.1007\/s10270-003-0050-x"},{"key":"18_CR16","unstructured":"Zave, P.: Ideal connection paths in DFC. Technical report, AT&T Research (November 2003)"},{"issue":"1","key":"18_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1005561.1005562","volume":"13","author":"P. Zave","year":"2004","unstructured":"Zave, P.: Address translation in telecommunication features. ACM Trans. Softw. Eng. Methodol.\u00a013(1), 1\u201336 (2004)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-72794-1_2","volume-title":"Coordination Models and Languages","author":"P. Zave","year":"2007","unstructured":"Zave, P.: Requirements for routing in the application layer. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 19\u201336. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00255-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T21:20:14Z","timestamp":1558128014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00255-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642002540","9783642002557"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00255-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}