Pages that link to "Item:Q764350"
From MaRDI portal
The following pages link to Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350):
Displaying 5 items.
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Computation tree logic model checking based on possibility measures (Q529055) (← links)
- An analysis for proving probabilistic termination of biological systems (Q1935818) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Consistency for parametric interval Markov chains (Q5240149) (← links)