%0 Conference Paper %1 conf/qest/TeuberW21 %A Teuber, Samuel %A Weigl, Alexander %B QEST %D 2021 %E Abate, Alessandro %E Marin, Andrea %I Springer %K dblp %P 59-79 %T Quantifying Software Reliability via Model-Counting. %U http://dblp.uni-trier.de/db/conf/qest/qest2021.html#TeuberW21 %V 12846 %@ 978-3-030-85172-9

@inproceedings{conf/qest/TeuberW21, added-at = {2021-09-01T00:00:00.000+0200}, author = {Teuber, Samuel and Weigl, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/289992484375a3271bed8a44890298e99/dblp}, booktitle = {QEST}, crossref = {conf/qest/2021}, editor = {Abate, Alessandro and Marin, Andrea}, ee = {https://doi.org/10.1007/978-3-030-85172-9_4}, interhash = {551945044c59e7aca67676da4b731bc4}, intrahash = {89992484375a3271bed8a44890298e99}, isbn = {978-3-030-85172-9}, keywords = {dblp}, pages = {59-79}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:39:20.000+0200}, title = {Quantifying Software Reliability via Model-Counting.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2021.html#TeuberW21}, volume = 12846, year = 2021 }