Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
Article
Jha, Sumit Kumar, Langmead, Christopher James. (2011). Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
. THEORETICAL COMPUTER SCIENCE, 412(21), 2162-2187. 10.1016/j.tcs.2011.01.012
Jha, Sumit Kumar, Langmead, Christopher James. (2011). Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
. THEORETICAL COMPUTER SCIENCE, 412(21), 2162-2187. 10.1016/j.tcs.2011.01.012