Automated Reasoning for Systems Biology and Medicine

Pietro LiĆ², Paolo Zuliani, editors, Automated Reasoning for Systems Biology and Medicine. Volume 30 of Computational Biology, Springer, 2019. [doi]