Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082)
From MaRDI portal
scientific article; zbMATH DE number 6272174
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation |
scientific article; zbMATH DE number 6272174 |
Statements
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (English)
0 references
21 March 2014
0 references
stochastic \(\pi\)-calculus
0 references
abstract interpretation
0 references
probabilistic temporal properties
0 references
0 references
