Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs.

Published in: Theor. Comput. Sci. (2012)

Keyphrases