Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)
Reference
Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis. Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports, 5(11), 2015.
Suggested BibTeX entry:
@article{AGKV15,
author = {Parosh Aziz Abdulla and Fabio Gadducci and Barbara K{\"o}nig and Viktor Vafeiadis},
journal = {Dagstuhl Reports},
number = {11},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
title = {{Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)}},
volume = {5},
year = {2015}
}
