Distributed runtime verification of JADE multiagent systems. (2014)

by D Briola, V Mascardi, D Ancona
Venue:In IDC, Studies in Computational Intelligence.