Checking Graph-Transformation Systems for Confluence

Detlef Plump. Checking Graph-Transformation Systems for Confluence. ECEASST, 26, 2010. [doi]

Abstract

Abstract is missing.