An algorithm for the critical pair analysis of amalgamated graph transformations (bibtex)
by Born, Kristopher and Taentzer, Gabriele
Reference:
An algorithm for the critical pair analysis of amalgamated graph transformations (Born, Kristopher and Taentzer, Gabriele), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9761, 2016.
Bibtex Entry:
@inproceedings{DBLP:conf/gg/BornT16,
author = {Born, Kristopher and Taentzer, Gabriele},
booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
doi = {10.1007/978-3-319-40530-8_8},
isbn = {9783319405292},
issn = {16113349},
keywords = {moca},
mendeley-tags = {moca},
pages = {118--134},
title = {{An algorithm for the critical pair analysis of amalgamated graph transformations}},
url = {http://dx.doi.org/10.1007/978-3-319-40530-8_8},
volume = {9761},
year = {2016}
}
Powered by bibtexbrowser