Parosh Aziz Abdulla, Fabio Gadducci, Barbara König 0001, Viktor Vafeiadis. Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports, 5(11):1-28, 2015. [doi]
@article{AbdullaG0V15,
title = {Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)},
author = {Parosh Aziz Abdulla and Fabio Gadducci and Barbara König 0001 and Viktor Vafeiadis},
year = {2015},
doi = {10.4230/DagRep.5.11.1},
url = {http://dx.doi.org/10.4230/DagRep.5.11.1},
researchr = {https://researchr.org/publication/AbdullaG0V15},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {5},
number = {11},
pages = {1-28},
}