Pages that link to "Item:Q3540063"
From MaRDI portal
The following pages link to Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063):
Displaying 4 items.
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach (Q276005) (← links)
- Branching-time logics with path relativisation (Q386037) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
