Pages that link to "Item:Q2870296"
From MaRDI portal
The following pages link to Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296):
Displaying 3 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)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
