@INPROCEEDINGS{BeckertSnelting2011,
author = {Bernhard Beckert and Gregor Snelting},
title = {Verl\"{a}ssliche Software fur kritische Infrastrukturen - Preface},
booktitle = {INFORMATIK 2011 Informatik schafft Communities -- Beitr\"{a}ge der
41. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2011},
month = oct,
editor = {Hans-Ulrich Hei\ss{} and Peter Pepper and Holger Schlingloff and
J\"{o}rg Schneider},
volume = {P-192},
series = {Lecture Notes in Informatics (LNI)}
}