Pages that link to "Item:Q5404071"
From MaRDI portal
The following pages link to Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071):
Displaying 9 items.
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178) (← links)
- On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- Automata-Based CSL Model Checking (Q3012926) (← links)
- Analysis of multimodal stochastic oscillations in a biochemical reaction model (Q5134243) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
- A Model and Analysis of the AKAP Scaffold (Q5404083) (← links)