Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Jha, S., K. & Langmead, C., J. Theoretical Computer Science, 412(21):2162-2187, 2011. bibtex @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}
}
Downloads: 0
{"_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":[]}