Verlässliche Software fur kritische Infrastrukturen - Preface

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Gregor Snelting
In:INFORMATIK 2011 Informatik schafft Communities – Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
Reihe:Lecture Notes in Informatics (LNI)
Band:P-192
Jahr:2011

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