Verlässliche Software fur kritische Infrastrukturen - Preface

Reviewed Paper In Proceedings

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)
Year:2011
Number:P-192

BibTeX

@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},
  number = {P-192},
  series = {Lecture Notes in Informatics (LNI)}
}