Pages that link to "Item:Q5758118"
From MaRDI portal
The following pages link to Model Checking Liveness Properties of Genetic Regulatory Networks (Q5758118):
Displaying 4 items.
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Parallel model checking large-scale genetic regulatory networks with DiVinE (Q2870296) (← links)
- Model Checking Gene Regulatory Networks (Q5194958) (← links)