Diego Calvanese, Magdalena Ortiz, Mantas Simkus. Verification of Evolving Graph-structured Data under Expressive Path Constraints. In Wim Martens, Thomas Zeume, editors, 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. Volume 48 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{CalvaneseOS16,
title = {Verification of Evolving Graph-structured Data under Expressive Path Constraints},
author = {Diego Calvanese and Magdalena Ortiz and Mantas Simkus},
year = {2016},
doi = {10.4230/LIPIcs.ICDT.2016.15},
url = {http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.15},
researchr = {https://researchr.org/publication/CalvaneseOS16},
cites = {0},
citedby = {0},
booktitle = {19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016},
editor = {Wim Martens and Thomas Zeume},
volume = {48},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-002-6},
}