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]
@incollection{BenesBPS19-0,
title = {Model Checking Approach to the Analysis of Biological Systems},
author = {Nikola Benes and Lubos Brim and Samuel Pastva and David Safránek},
year = {2019},
doi = {10.1007/978-3-030-17297-8_1},
url = {https://doi.org/10.1007/978-3-030-17297-8_1},
researchr = {https://researchr.org/publication/BenesBPS19-0},
cites = {0},
citedby = {0},
pages = {3-35},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
editor = {Pietro Liò and Paolo Zuliani},
volume = {30},
series = {Computational Biology},
publisher = {Springer},
isbn = {978-3-030-17297-8},
}