@InProceedings{JCL+09,
author={S. Jha and E. Clarke and C. Langmead and A. Legay and A. Platzer and P. Zuliani},
title={A Bayesian approach to model checking biological systems},
booktitle={Proc. 7th International Conference on Computational Methods in Systems Biology (CMSB'09)},
year={2009},

editor={},
pages={},
organization={},
publisher={Springer},
series={},
volume={},
address={},
month={},
note={},
key={}
}