Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (Q2822662)
From MaRDI portal
scientific journal
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems |
scientific journal |
