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]
Abstract is missing.