@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)}
}
Verlässliche Software fur kritische Infrastrukturen - Preface
| Author(s): | Bernhard Beckert and Gregor Snelting |
|---|---|
| In: | INFORMATIK 2011 Informatik schafft Communities – Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI) |
| Series: | Lecture Notes in Informatics (LNI) |
| Volume: | P-192 |
| Year: | 2011 |