@inproceedings{TeuberWeigl2021_1000138400,
author = {Samuel Teuber and Alexander Weigl},
year = {2021},
month = aug,
title = {Quantifying Software Reliability via Model-Counting},
pages = {59-79},
eventtitle = {18th International Conference on the Quantitative Evaluation of Systems},
eventtitleaddon = {QEST 2021},
eventdate = {2021-08-23/2021-08-27},
venue = {Online},
booktitle = {Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings. Ed.: A. Abate},
doi = {10.1007/978-3-030-85172-9_4},
publisher = {{Springer Verlag}},
issn = {0302-9743, 1611-3349},
series = {Lecture Notes in Computer Science (LNCS)},
language = {english},
volume = {12846}
}