@inproceedings{ghosh2012decision,
 author    = {Arup K. Ghosh and Faraz Hussain and Sumit Kumar Jha and Christopher James Langmead and Susmit Jha},
title = {{Decision Procedure Based Discovery of Rare Behaviors in Stochastic Differential Equation Models of Biological Systems}},
  booktitle = {Proceedings of the  2nd  {IEEE} International Conference on Computational Advances in Bio and Medical Sciences ({ICCABS} 2012)},
 address = {Las Vegas, NV},
  year = {2012},
  pages = {1--6},
  doi       = {10.1109/ICCABS.2012.6182635},
  month = {February},
  keywords = {conf},
  publisher = {{IEEE} Computer Society}
}