BibTeX record conf/ifip/Goldberg80

download as .bib file

@inproceedings{DBLP:conf/ifip/Goldberg80,
  author       = {Jack Goldberg},
  editor       = {Simon H. Lavington},
  title        = {{SIFT:} {A} Provable Fault-Tolerant Computer for Aircraft Flight Control},
  booktitle    = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
                  Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
                  14-17, 1980},
  pages        = {151--156},
  publisher    = {North-Holland/IFIP},
  year         = {1980},
  timestamp    = {Fri, 26 Jul 2019 22:58:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Goldberg80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics