@inproceedings{mci/Dernehl2015,
author = {Dernehl, Christian AND Hansen, Norman AND Gerlitz, Thomas AND Kowalewski, Stefan},
title = {Static value range analysis for Matlab/simulink-models},
booktitle = {INFORMATIK 2015},
year = {2015},
editor = {Cunningham, Douglas W. AND Hofstedt, Petra AND Meer, Klaus AND Schmitt, Ingo} ,
pages = { 1649-1660 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}