BibTeX record conf/icse/ChaLS88

download as .bib file

@inproceedings{DBLP:conf/icse/ChaLS88,
  author       = {Stephen S. Cha and
                  Nancy G. Leveson and
                  Timothy J. Shimeall},
  editor       = {Tan Chin Nam and
                  Larry E. Druffel and
                  Bertrand Meyer},
  title        = {Safety Verification in Murphy Using Fault Tree Analysis},
  booktitle    = {Proceedings, 10th International Conference on Software Engineering,
                  Singapore, Singapore, April 11-15, 1988},
  pages        = {377--387},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {http://dl.acm.org/citation.cfm?id=55860},
  timestamp    = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ChaLS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics