BibTeX record conf/vis/UllmannHLKFBRSWCHSC93

download as .bib file

@inproceedings{DBLP:conf/vis/UllmannHLKFBRSWCHSC93,
  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},
  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 = {{VIS}},
  series    = {DuD-Fachbeitr{\"{a}}ge},
  volume    = {16},
  pages     = {175--190},
  publisher = {Vieweg},
  year      = {1993}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics