BibTeX records: H. Hauff

download as .bib file

  author    = {Markus Ullmann and
               H. Hauff and
               D. Loevenich and
               P. Kejwal and
               R. F{\"{o}}rster and
               P. Baur and
               Wolfgang Reif and
               Werner Stephan and
               Andreas Wolpers and
               J{\"{u}}rgen Cleve and
               Dieter Hutter and
               Claus Sengler and
               E. Canver},
  editor    = {Gerhard Weck and
               Patrick Horster},
  title     = {{VSE} Verification Support Environment: Ein Werkzeug zur Entwicklung
               vertrauensw{\"{u}}rdiger und zuverl{\"{a}}ssiger Systeme
               in Anlehnung an g{\"{u}}ltige Sicherheitskriterien},
  booktitle = {Verl{\"{a}}{\ss}liche Informationssysteme, Proceedings der GI-Fachtagung
               VIS'93, 11.-13.05.1993, M{\"{u}}nchen, Germany},
  series    = {DuD-Fachbeitr{\"{a}}ge},
  volume    = {16},
  pages     = {175--190},
  publisher = {Vieweg},
  year      = {1993},
  timestamp = {Tue, 15 Nov 2016 13:03:51 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics