{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:21:39Z","timestamp":1725567699284},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221203"},{"type":"electronic","value":"9783540259596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25959-6_21","type":"book-chapter","created":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T11:09:47Z","timestamp":1287832187000},"page":"292-298","source":"Crossref","is-referenced-by-count":2,"title":["Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Juan","family":"de Lara","sequence":"first","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"AGG home page, http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Bardohl, R., Ermel, C., Weinhold, I.: AGG and GenGED: Graph Transformation-Based Specification and Analysis Techniques for Visual Languages. In: Proc. GraBaTs 2002. Electronic Notes in Theoretical Computer Science, vol.\u00a072(2) (2002)","DOI":"10.1016\/S1571-0661(05)80525-0"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pezze, M.: Improving UML with Petri nets. Electronic Notes in Theoretical Computer Science, vol.\u00a044(4) (2001)","DOI":"10.1016\/S1571-0661(04)80947-2"},{"key":"21_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-Formalism Modelling and Meta-Modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002), See also the AToM3 home page http:\/\/atom3.cs.mcgill.ca"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/3-540-45832-8_19","volume-title":"Graph Transformation","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: Computer Aided Multi-Paradigm Modelling to process Petri Nets and Statecharts. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 239\u2013253. Springer, Heidelberg (2002)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"key":"21_CR8","unstructured":"Minas, M.: Bootstrapping Visual Components of the DiaGen Specification Tool with DiaGen. In: Proceedings of AGTIVE 2003 (Applications of Graph Transformation with Industrial Relevance), Charlottesville, USA, pp. 391\u2013406 (2003), See also the DiaGen home page http:\/\/www2.informatik.uni-erlangen.de\/DiaGen\/"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"21_CR10","unstructured":"Vangheluwe, H., de Lara, J., Mosterman, P.: An Introduction to Multi-Paradigm Modelling and Simulation. In: Proc. AIS 2002, pp. 9\u201320 (2002), SCS International"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T16:42:47Z","timestamp":1559752967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25959-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221203","9783540259596"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25959-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}