BibTeX record conf/mmb/BuddeS20

download as .bib file

@inproceedings{DBLP:conf/mmb/BuddeS20,
  author       = {Carlos E. Budde and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Holger Hermanns},
  title        = {Automated Rare Event Simulation for Fault Tree Analysis via Minimal
                  Cut Sets},
  booktitle    = {Measurement, Modelling and Evaluation of Computing Systems - 20th
                  International {GI/ITG} Conference, {MMB} 2020, Saarbr{\"{u}}cken,
                  Germany, March 16-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12040},
  pages        = {259--277},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-43024-5\_16},
  doi          = {10.1007/978-3-030-43024-5\_16},
  timestamp    = {Fri, 27 Mar 2020 08:51:21 +0100},
  biburl       = {https://dblp.org/rec/conf/mmb/BuddeS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}