@InProceedings{TeuberQEST21,
  author={Teuber, Samuel and Weigl, Alexander},
  editor={Abate, Alessandro and Marin, Andrea},
  title={Quantifying Software Reliability via Model-Counting},
  booktitle={Quantitative Evaluation of Systems},
  eventtitleaddon = {{QEST}~2021},
  venue           = {virtual},
  eventdate       = {2021-08-23/2021-08-27},
  year={2021},
  publisher={Springer},
  address={Cham},
  pages={59--79},
  isbn={978-3-030-85172-9},
  month = {aug}
}