STIAS logo Stellenbosch Institute for Advanced Study

Publication

The role of theorem proving in systems biology

Wolkenhauer, Olaf; Shibata, Darryl; Mesarovic, Mihajlo D. 2012. The role of theorem proving in systems biology. JOURNAL OF THEORETICAL BIOLOGY, 300, pp. 57-61. DOI: 10.1016/j.jtbi.2011.12.023