Pages that link to "Item:Q498908"
From MaRDI portal
The following pages link to Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908):
Displaying 3 items.
- Robust genetic circuit design: a mixed \(\mathcal{H}_{\infty}\) and IQC analysis (Q1798441) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- Model Checking Liveness Properties of Genetic Regulatory Networks (Q5758118) (← links)