BibTeX records: E. Canver

• > Home > Persons > E. Canver

@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},
  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       = {https://dblp.org/rec/conf/vis/UllmannHLKFBRSWCHSC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}