BibTeX record conf/prozess/Jansen88

download as .bib file

@inproceedings{DBLP:conf/prozess/Jansen88,
  author       = {Herbert Jansen},
  editor       = {Rudolf Lauber},
  title        = {Anforderungen an Rechnersysteme f{\"{u}}r sicherheitsrelevante
                  Anwendungen und deren Sicherheitsnachweis},
  booktitle    = {Proze{\ss}rechnersysteme '88, Automatisierungstechnik, Leittechnik,
                  Informations- und Kommunikationstechnik, Stuttgart, 2.-4. M{\"{a}}rz
                  1988, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {167},
  pages        = {39--78},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/978-3-642-73445-8\_3},
  doi          = {10.1007/978-3-642-73445-8\_3},
  timestamp    = {Sun, 21 May 2017 00:21:37 +0200},
  biburl       = {https://dblp.org/rec/conf/prozess/Jansen88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics