Analysing Collective Adaptive Systems by Proving Theorems.

Cosimo Perini Brogi, Marco Maggesi

Browse the full ISoLA paper archive.