@inproceedings{mci/Keller2011,
author = {Keller, Hubert B. AND Klenk, Herbert},
title = {4. Workshop Entwicklung zuverlässiger Software-Systeme 2011},
booktitle = {Softwaretechnik-Trends Band 31, Heft 3},
year = {2011},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}