Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models (Q4621170)
From MaRDI portal
scientific article; zbMATH DE number 7020167
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models |
scientific article; zbMATH DE number 7020167 |
Statements
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models (English)
0 references
8 February 2019
0 references
process calculi
0 references
ecology
0 references
probabilistic model checking
0 references
spatially-explicit individual-based models
0 references
