1
TITLE: Automated Reasoning for Systems Biology and Medicine
AUTHORS: Pietro Liò; Paolo Zuliani;
PUBLISHED: 2019, VOLUME: 30
INDEXED IN: DBLP