Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
Local Confluence for Rules with Nested Application Conditions
ICGT, 2010.
@inproceedings{ICGT-2010-EhrigHLOG,
author = "Hartmut Ehrig and Annegret Habel and Leen Lambers and Fernando Orejas and Ulrike Golas",
booktitle = "{Proceedings of the Fifth International Conference on Graph Transformations}",
doi = "10.1007/978-3-642-15928-2_22",
editor = "Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Schürr",
isbn = "978-3-642-15927-5",
pages = "330--345",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Local Confluence for Rules with Nested Application Conditions}",
volume = 6372,
year = 2010,
}
Tags: