TY - GEN AU - Ghosh,Krishnendu AU - Schlipf,John TI - Formal modeling of a system of chemical reactions under uncertainty SN - 1757-6334 PY - 2015///0724 KW - Algorithms KW - Computational Biology KW - Computer Simulation KW - MAP Kinase Signaling System KW - Models, Biological KW - Models, Chemical KW - Signal Transduction KW - Software KW - Systems Biology KW - Uncertainty N1 - Publication Type: Journal Article UR - https://doi.org/10.1142/S0219720014400022 ER -