Book

Automated Reasoning for Systems Biology and Medicine

by Pietro Liò, Paolo Zuliani