Pages that link to "Item:Q2271449"
From MaRDI portal
The following pages link to On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449):
Displaying 7 items.
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- Parallel model checking large-scale genetic regulatory networks with DiVinE (Q2870296) (← links)
- Bringing LTL Model Checking to Biologists (Q2961551) (← links)
- Model Checking Software (Q5308374) (← links)
- Model Checking Liveness Properties of Genetic Regulatory Networks (Q5758118) (← links)