[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Model Checking Approach to the Analysis of Biological Systems
Liò, Pietro, Zuliani, PaoloVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-17297-8_1
File:
PDF, 993 KB
english, 2019