View of A Termination Criterion for Graph Transformations with Negative Application Conditions

Return to Article Details A Termination Criterion for Graph Transformations with Negative Application Conditions Download Download PDF