Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model.
Arup Kumar GhoshFaraz HussainSusmit JhaChristopher James LangmeadSumit Kumar JhaPublished in: Int. J. Bioinform. Res. Appl. (2014)