Vol-1194⫷ Vol-1195 ⫸Vol-1196
urn:nbn:de:0074-1195-0


Vol-1195/short2⫷Vol-1195/short3⫸Vol-1195/short4
Daniela BriolaViviana MascardiDavide Ancona

Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog