{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:32Z","timestamp":1760202572989},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403258"},{"type":"electronic","value":"9783540448983"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44898-5_14","type":"book-chapter","created":{"date-parts":[[2007,11,10]],"date-time":"2007-11-10T22:21:25Z","timestamp":1194733285000},"page":"255-272","source":"Crossref","is-referenced-by-count":11,"title":["A Logic for Analyzing Abstractions of Graph Transformation Systems"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[]},{"given":"Barbara","family":"K\u00f6nig","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"K\u00f6nig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"Proc. of CONCUR\u201901","author":"P. Baldan","year":"2001","unstructured":"Paolo Baldan, Andrea Corradini, and Barbara K\u00f6nig. A static analysis technique for graph transformation systems. In Proc. of CONCUR\u201901, pages 381\u2013395. Springer-Verlag, 2001. LNCS 2154."},{"key":"14_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/3-540-45832-8_4","volume-title":"Proc. of ICGT\u201902 (International Conference on Graph Transformation)","author":"P. Baldan","year":"2002","unstructured":"Paolo Baldan and Barbara K\u00f6nig. Approximating the behaviour of graph transformation systems. In Proc. of ICGT\u201902 (International Conference on Graph Transformation), pages 14\u201329. Springer-Verlag, 2002. LNCS 2505."},{"unstructured":"Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 1999.","key":"14_CR3"},{"doi-asserted-by":"crossref","unstructured":"B. Courcelle. The expression of graph properties and graph transformations in monadic second-order logic. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations, chapter 5. World Scientific, 1997.","key":"14_CR4","DOI":"10.1142\/9789812384720_0005"},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/10722167_8","volume-title":"Proc. of CAV\u201900","author":"G. Delzanno","year":"2000","unstructured":"Giorgio Delzanno. Automatic verification of parameterized cache coherence protocols. In Proc. of CAV\u201900, pages 53\u201368. Springer-Verlag, 2000. LNCS 1855."},{"doi-asserted-by":"crossref","unstructured":"Wilfrid Hodges. Model Theory. Cambridge University Press, 1993.","key":"14_CR6","DOI":"10.1017\/CBO9780511551574"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0304-3975(89)90053-4","volume":"64","author":"R. Howell","year":"1989","unstructured":"R. Howell and L. Rosier. Problems concerning fairness and temporal logic for conflict-free Petri net. Theoretical Computer Science, 64:305\u2013329, 1989.","journal-title":"Theoretical Computer Science"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0304-3975(91)90228-T","volume":"82","author":"R. R. Howell","year":"1991","unstructured":"Rodney R. Howell, Louis E. Rosier, and Hsu-Chun Yen. A taxonomy of fairness and temporal logic problems for Petri nets. Theoretical Computer Science, 82:341\u2013372, 1991.","journal-title":"Theoretical Computer Science"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0304-3975(90)90006-4","volume":"74","author":"P. Jancar","year":"1990","unstructured":"Petr Jancar. Decidability of a temporal logic problem for Petri nets. Theoretical Computer Science, 74:71\u201393, 1990.","journal-title":"Theoretical Computer Science"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01384313","volume":"6","author":"C. Loiseaux","year":"1995","unstructured":"Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, and Saddek Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:1\u201335, 1995.","journal-title":"Formal Methods in System Design"},{"doi-asserted-by":"crossref","unstructured":"Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.","key":"14_CR11","DOI":"10.1007\/978-3-662-03811-6"},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-45657-0_9","volume-title":"Proc. of CAV\u2019 02","author":"A. Pnueli","year":"2002","unstructured":"Amir Pnueli, Jessie Xu, and Lenore Zuck. Liveness with (0, 1, \u221e)-counter abstraction. In Proc. of CAV\u2019 02, pages 107\u2013122. Springer-Verlag, 2002. LNCS 2404."},{"key":"14_CR13","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1985."},{"unstructured":"Abraham Robinson. Introduction to Model Theory and to the Metamathematics of Algebra. North-Holland, 1963.","key":"14_CR14"},{"doi-asserted-by":"crossref","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. In Proc. of POPL\u2019 96, pages 16\u201331. ACM Press, 1996.","key":"14_CR15","DOI":"10.1145\/237721.237725"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44898-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:21:10Z","timestamp":1556947270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44898-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403258","9783540448983"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44898-5_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}