Pages that link to "Item:Q1683930"
From MaRDI portal
The following pages link to Model checking the evolution of gene regulatory networks (Q1683930):
Displaying 6 items.
- Modeling evolutionary growth of a microRNA-mediated regulation system (Q293742) (← links)
- Aeon 2021: bifurcation decision trees in Boolean networks (Q2142120) (← links)
- Symbolic coloured SCC decomposition (Q2233494) (← links)
- A genetically modified Hoare logic (Q2422014) (← links)
- Model Checking Gene Regulatory Networks (Q5194958) (← links)
- Model Checking Liveness Properties of Genetic Regulatory Networks (Q5758118) (← links)