BibTex format
@inproceedings{Beaumont:2016,
author = {Beaumont, P and Evans, N and Huth, MRA and Plant, T},
title = {Confidence analysis for nuclear arms control: SMT abstractions of Bayesian Belief Networks},
url = {http://hdl.handle.net/10044/1/24517},
year = {2016}
}