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]

Authors

Paolo Bottoni

This author has not been identified. Look up 'Paolo Bottoni' in Google

Francesco Parisi-Presicce

This author has not been identified. Look up 'Francesco Parisi-Presicce' in Google