@inproceedings{DBLP:conf/acsd/SeppiJL04, booktitle={4th International Conference on Application of Concurrency to System Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada}, crossref={DBLP:conf/acsd/2004}, link={https://doi.org/10.1109/CSD.2004.1309134}, timestamp={Thu, 25 May 2017 01:00:00 +0200}, author={Kevin D. Seppi and Michael D. Jones and Peter Lamborn}, biburl={http://dblp.uni-trier.de/rec/bib/conf/acsd/SeppiJL04}, pages={217–226}, doi={10.1109/CSD.2004.1309134}, bibsource={dblp computer science bibliography, http://dblp.org}, year={2004}, title={Guided Model Checking with a Bayesian Meta-heuristic}, }