@inproceedings{mci/Schürr2018,
author = {Schürr, Andy},
title = {Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms},
booktitle = {Modellierung 2018},
year = {2018},
editor = {Schaefer, Ina AND Karagiannis, Dimitris AND Vogelsang, Andreas AND Méndez, Daniel AND Seidl, Christoph} ,
pages = { 15-15 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}