Eintrag weiter verarbeiten
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: |
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models |
In: | Scientific Annals of Computer Science, 23, 2013, 1, S. 119-167 |
veröffentlicht: |
Editura Universitatii Alexandru Ioan Cuza din Iasi
|
Umfang: | 119-167 |
ISSN: |
2248-2695 |
DOI: | 10.7561/sacs.2013.1.119 |
Format: | E-Article |
Quelle: | Editura Universitatii Alexandru Ioan Cuza din Iasi (CrossRef) |
Sprache: | Unbestimmt |