Steffen Mazanek, Christian Rutetzki, Mark Minas. Tool Demonstration of the Transformation Judge. In Andy Schürr, Dániel Varró, Gergely Varró, editors, Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers. Volume 7233 of Lecture Notes in Computer Science, pages 97-104, Springer, 2011. [doi]
Abstract is missing.