Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek. Model Checking Approach to the Analysis of Biological Systems. In Pietro Liò, Paolo Zuliani, editors, Automated Reasoning for Systems Biology and Medicine. Volume 30 of Computational Biology, pages 3-35, Springer, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.