Approximating probabilistic behaviors of biological systems using abstract interpretation (Q5404082)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Approximating probabilistic behaviors of biological systems using abstract interpretation |
scientific article; zbMATH DE number 6272174
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8898189663887024
0 references
0.8799954056739807
0 references
0.7729422450065613
0 references
0.7377104163169861
0 references
0.7345542311668396
0 references
