Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.

Luca Di Stefano, Frdric Lang

Browse the full ISoLA paper archive.