TY - JOUR T1 - On the Use of Graph Transformation in the Formal Specification of Model Interpreters JF - Journal of Universal Computer Science Y1 - 2003 A1 - Gábor Karsai A1 - Aditya Agrawal A1 - Feng Shi A1 - Jonathan Sprinkle VL - 9 UR - http://www.jucs.org/jucs_9_11/on_the_use_of/Karsai_G.pdf ER -