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