Bing Liu 0013, Benjamin M. Gyori, P. S. Thiagarajan. Statistical Model Checking-Based Analysis of Biological Networks. In Pietro Liò, Paolo Zuliani, editors, Automated Reasoning for Systems Biology and Medicine. Volume 30 of Computational Biology, pages 63-92, Springer, 2019. [doi]
@incollection{0013GT19,
title = {Statistical Model Checking-Based Analysis of Biological Networks},
author = {Bing Liu 0013 and Benjamin M. Gyori and P. S. Thiagarajan},
year = {2019},
doi = {10.1007/978-3-030-17297-8_3},
url = {https://doi.org/10.1007/978-3-030-17297-8_3},
researchr = {https://researchr.org/publication/0013GT19},
cites = {0},
citedby = {0},
pages = {63-92},
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},
}