Pages that link to "Item:Q969176"
From MaRDI portal
The following pages link to Detecting synchronisation of biological oscillators by model checking (Q969176):
Displaying 7 items.
- Synchronization analysis of four symbolic complex dynamical systems for future biology research (Q473978) (← links)
- Multi-scale verification of distributed synchronisation (Q2225471) (← links)
- STL*: extending signal temporal logic with signal-value freezing operator (Q2453214) (← links)
- Analysis of biological integrate-and-fire oscillators (Q3100030) (← links)
- Biological Receptor Scheme for the Robust Synchronization of Limit Cycle Oscillators (Q3147622) (← links)
- PREDICTING THE SYNCHRONIZATION OF A NETWORK OF ELECTRONIC REPRESSILATORS (Q3586872) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)