Pages that link to "Item:Q5194958"
From MaRDI portal
The following pages link to Model Checking Gene Regulatory Networks (Q5194958):
Displaying 8 items.
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Model checking the evolution of gene regulatory networks (Q1683930) (← links)
- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system (Q2022307) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- A genetically modified Hoare logic (Q2422014) (← links)
- (Q5471651) (← links)
- Model Checking Liveness Properties of Genetic Regulatory Networks (Q5758118) (← links)
- (Q6079211) (← links)