E-Books durchsuchen
Formal Methods for Dynamical Systems [2013]
- 1
-
Automation of Quantitative Information-Flow Analysis
- 29
-
ODE Analysis of Biological Systems
- 63
-
Model Checking of Biological Systems
- 113
-
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation
- 150
-
Topological Quantum Computation