@article{
 title = {Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement},
 type = {article},
 year = {2011},
 pages = {2162-2187},
 volume = {412},
 id = {ac09fe0a-525b-3bf7-9fbf-b3861c9a5280},
 created = {2017-04-26T09:06:15.981Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:15.981Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {Jha2011},
 source_type = {article},
 bibtype = {article},
 author = {Jha, Sumit Kumar and Langmead, Christopher James},
 journal = {Theoretical Computer Science},
 number = {21}
}

{"_id":"TTpoi24Wfn85K3evC","bibbaseid":"jha-langmead-synthesisandinfeasibilityanalysisforstochasticmodelsofbiochemicalsystemsusingstatisticalmodelcheckingandabstractionrefinement-2011","downloads":0,"creationDate":"2017-04-26T09:07:48.157Z","title":"Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement","author_short":["Jha, S., K.","Langmead, C., J."],"year":2011,"bibtype":"article","biburl":null,"bibdata":{"title":"Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement","type":"article","year":"2011","pages":"2162-2187","volume":"412","id":"ac09fe0a-525b-3bf7-9fbf-b3861c9a5280","created":"2017-04-26T09:06:15.981Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:15.981Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"Jha2011","source_type":"article","bibtype":"article","author":"Jha, Sumit Kumar and Langmead, Christopher James","journal":"Theoretical Computer Science","number":"21","bibtex":"@article{\n title = {Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement},\n type = {article},\n year = {2011},\n pages = {2162-2187},\n volume = {412},\n id = {ac09fe0a-525b-3bf7-9fbf-b3861c9a5280},\n created = {2017-04-26T09:06:15.981Z},\n file_attached = {false},\n profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},\n group_id = {337127a6-4a46-3af3-a559-f76746200fef},\n last_modified = {2017-04-26T09:06:15.981Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {Jha2011},\n source_type = {article},\n bibtype = {article},\n author = {Jha, Sumit Kumar and Langmead, Christopher James},\n journal = {Theoretical Computer Science},\n number = {21}\n}","author_short":["Jha, S., K.","Langmead, C., J."],"bibbaseid":"jha-langmead-synthesisandinfeasibilityanalysisforstochasticmodelsofbiochemicalsystemsusingstatisticalmodelcheckingandabstractionrefinement-2011","role":"author","urls":{},"downloads":0},"search_terms":["synthesis","infeasibility","analysis","stochastic","models","biochemical","systems","using","statistical","model","checking","abstraction","refinement","jha","langmead"],"keywords":[],"authorIDs":[]}