@ARTICLE{CMSB09,
  AUTHOR =       {Jha, S.K., Clarke, E.M. and  Langmead, C.J. and  Platzer, A. and Zuliani, P.},
  TITLE =        {A Bayesian Approach to Model Checking Biological Systems},
  JOURNAL =      {Proc. 7th Conf. on Computational Methods in Systems Biology, (CMSB)},
  YEAR =         {2009},
  pages =        {218-234},
}