View of Verification of JADE Agents Using ATL Model Checking

Return to Article Details Verification of JADE Agents Using ATL Model Checking Download Download PDF