Model Checking Approach to the Analysis of Biological Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nikola Benes' in GoogleThis author has not been identified. Look up 'Lubos Brim' in GoogleThis author has not been identified. Look up 'Samuel Pastva' in GoogleThis author has not been identified. Look up 'David Safránek' in Google

runs on WebDSL