Luisa Vissat, L.,
Hillston, J. &
Williams, A.,
12 Jun 2019, (E-pub ahead of print)
Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.).
Springer,
p. 299-326 28 p. (Computational Biology; vol. 30).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review