@article{DBLP:journals/fuin/SeppiJL06, link={http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-06}, timestamp={Mon, 18 May 2015 01:00:00 +0200}, number={1-2}, author={Kevin D. Seppi and Michael D. Jones and Peter Lamborn}, volume={70}, biburl={http://dblp.uni-trier.de/rec/bib/journals/fuin/SeppiJL06}, pages={111–126}, journal={Fundam. Inform.}, bibsource={dblp computer science bibliography, http://dblp.org}, year={2006}, title={Guided Model Checking with a Bayesian Meta-heuristic}, }