Published in: LIPIcs, Volume 48, 19th International Conference on Database Theory (ICDT 2016)
Diego Calvanese, Magdalena Ortiz, and Mantas Šimkus. Verification of Evolving Graph-structured Data under Expressive Path Constraints. In 19th International Conference on Database Theory (ICDT 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 48, pp. 15:1-15:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{calvanese_et_al:LIPIcs.ICDT.2016.15, author = {Calvanese, Diego and Ortiz, Magdalena and \v{S}imkus, Mantas}, title = {{Verification of Evolving Graph-structured Data under Expressive Path Constraints}}, booktitle = {19th International Conference on Database Theory (ICDT 2016)}, pages = {15:1--15:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-002-6}, ISSN = {1868-8969}, year = {2016}, volume = {48}, editor = {Martens, Wim and Zeume, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2016.15}, URN = {urn:nbn:de:0030-drops-57843}, doi = {10.4230/LIPIcs.ICDT.2016.15}, annote = {Keywords: Path constraints, Description Logics, Graph databases, Static verification} }
Feedback for Dagstuhl Publishing