Cargando…
Using chemical organization theory for model checking
Motivation: The increasing number and complexity of biomodels makes automatic procedures for checking the models' properties and quality necessary. Approaches like elementary mode analysis, flux balance analysis, deficiency analysis and chemical organization theory (OT) require only the stoichi...
Autores principales: | Kaleta, Christoph, Richter, Stephan, Dittrich, Peter |
---|---|
Formato: | Texto |
Lenguaje: | English |
Publicado: |
Oxford University Press
2009
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2712341/ https://www.ncbi.nlm.nih.gov/pubmed/19468053 http://dx.doi.org/10.1093/bioinformatics/btp332 |
Ejemplares similares
-
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
por: Mann, Makai, et al.
Publicado: (2021) -
Consistency checks of grand unified theories
por: de Boer, Wim
Publicado: (1992) -
Consistency checks of grand unified theories
por: Amaldi, Ugo, et al.
Publicado: (1992) -
Distilling Check-in/Check-Out into Its Core Practice Elements Through an Expert Consensus Process
por: Filter, Kevin J., et al.
Publicado: (2022) -
Phenotype prediction in regulated metabolic networks
por: Kaleta, Christoph, et al.
Publicado: (2008)