Pages that link to "Item:Q5404073"
From MaRDI portal
The following pages link to Model Checking Biological Oscillators (Q5404073):
Displaying 6 items.
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Balanced truncation for model reduction of biological oscillators (Q1981978) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- Analysis of biological integrate-and-fire oscillators (Q3100030) (← links)
- Limit Cycles and Bifurcations in a Biological Clock Model (Q3616822) (← links)
- On Proving the Absence of Oscillations in Models of Genetic Circuits (Q5429354) (← links)