Karsai, Gabor Lessons learned from building a graph transformation system. (English) Zbl 1309.68108 Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 202-223 (2010). MSC: 68Q42 68N99 68R10 PDFBibTeX XMLCite \textit{G. Karsai}, Lect. Notes Comput. Sci. 5765, 202--223 (2010; Zbl 1309.68108) Full Text: DOI
Narayanan, Anantha; Karsai, Gabor Towards verifying model transformations. (English) Zbl 1283.68210 Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 191-200 (2008). MSC: 68Q60 68Q42 68Q55 PDFBibTeX XMLCite \textit{A. Narayanan} and \textit{G. Karsai}, Electron. Notes Theor. Comput. Sci. 211, 191--200 (2008; Zbl 1283.68210) Full Text: DOI