Pages that link to "Item:Q5452030"
From MaRDI portal
The following pages link to Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030):
Displaying 5 items.
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- Modelling and Analysing Qualitative Biological Models using Rewriting Logic (Q4599813) (← links)
- From Quantitative SBML Models to Boolean Networks (Q5050391) (← links)
- A generic framework to coarse-grain stochastic reaction networks by abstract interpretation (Q6174400) (← links)
- Artificial intelligence in biological modelling (Q6602271) (← links)