@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",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="59--79",
isbn="978-3-030-85172-9"
}