Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences

Leen Lambers, Hartmut Ehrig, Gabriele Taentzer. Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. ECEASST, 10, 2008. [doi]

Authors

Leen Lambers

This author has not been identified. Look up 'Leen Lambers' in Google

Hartmut Ehrig

This author has not been identified. Look up 'Hartmut Ehrig' in Google

Gabriele Taentzer

Identified as Gabriele Taentzer