by Sven Schneider, Leen Lambers, Fernando Orejas
Reference:
Automated reasoning for attributed graph properties (Sven Schneider, Leen Lambers, Fernando Orejas), In Int. J. Softw. Tools Technol. Transf., volume 20, 2018.
Bibtex Entry:
@article{DBLP:journals/sttt/SchneiderLO18,
author = {Sven Schneider and
Leen Lambers and
Fernando Orejas},
title = {Automated reasoning for attributed graph properties},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {6},
pages = {705--737},
year = {2018},
url = {https://doi.org/10.1007/s10009-018-0496-3},
doi = {10.1007/s10009-018-0496-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchneiderLO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}