%0 Conference Paper %1 conf/esorics/BeaumontEHP15 %A Beaumont, Paul %A Evans, Neil %A Huth, Michael %A Plant, Tom %B ESORICS (1) %D 2015 %E Pernul, Günther %E Ryan, Peter Y. A. %E Weippl, Edgar R. %I Springer %K dblp %P 521-540 %T Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2015-1.html#BeaumontEHP15 %V 9326 %@ 978-3-319-24173-9

@inproceedings{conf/esorics/BeaumontEHP15, added-at = {2023-09-11T00:00:00.000+0200}, author = {Beaumont, Paul and Evans, Neil and Huth, Michael and Plant, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2ae4b92f3ee3a8ab8b65bd11fb7e9eade/dblp}, booktitle = {ESORICS (1)}, crossref = {conf/esorics/2015-1}, editor = {Pernul, Günther and Ryan, Peter Y. A. and Weippl, Edgar R.}, ee = {https://doi.org/10.1007/978-3-319-24174-6_27}, interhash = {64d9f6b98d4a2fa2f627a07c48546ebf}, intrahash = {ae4b92f3ee3a8ab8b65bd11fb7e9eade}, isbn = {978-3-319-24173-9}, keywords = {dblp}, pages = {521-540}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:45:00.000+0200}, title = {Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2015-1.html#BeaumontEHP15}, volume = 9326, year = 2015 }