@inproceedings{mci/Peikenkamp2008,
author = {Peikenkamp, Thomas},
title = {Nachweis von Sicherheitseigenschaften in modellbasierten Entwurfsprozessen},
booktitle = {Software Engineering 2008},
year = {2008},
editor = {Maalej, Walid AND Brügge, Bernd} ,
pages = { 329-334 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}