Distributed Runtime Verification of JADE Multiagent Systems.

Daniela Briola, Viviana Mascardi, Davide Ancona

Browse the full IDC paper archive.