A Termination Criterion for Graph Transformations with Negative Application Conditions

Paolo Bottoni, Francesco Parisi-Presicce. A Termination Criterion for Graph Transformations with Negative Application Conditions. ECEASST, 30, 2010. [doi]

Abstract

Abstract is missing.