%0 Conference Paper %1 conf/sefm/MarckerB0K17 %A Märcker, Steffen %A Baier, Christel %A Klein, Joachim %A Klüppelholz, Sascha %B SEFM %D 2017 %E Cimatti, Alessandro %E Sirjani, Marjan %I Springer %K %P 349-366 %T Computing Conditional Probabilities: Implementation and Evaluation. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#MarckerB0K17 %V 10469 %@ 978-3-319-66197-1

@inproceedings{conf/sefm/MarckerB0K17, added-at = {2023-12-13T00:48:27.000+0100}, author = {Märcker, Steffen and Baier, Christel and Klein, Joachim and Klüppelholz, Sascha}, biburl = {https://www.bibsonomy.org/bibtex/2e815fef87ed328f6ff93d4a8341c6d97/admin}, booktitle = {SEFM}, crossref = {conf/sefm/2017}, editor = {Cimatti, Alessandro and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-319-66197-1_22}, interhash = {68ade7f20128615ac1251ae42cafd6c2}, intrahash = {e815fef87ed328f6ff93d4a8341c6d97}, isbn = {978-3-319-66197-1}, keywords = {}, pages = {349-366}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:48:27.000+0100}, title = {Computing Conditional Probabilities: Implementation and Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#MarckerB0K17}, volume = 10469, year = 2017 }