Model checking of Multi Agent System architectures using BigMC.

Ahmed Taki Eddine Dib, Zadi Sahnoun

Browse the full FedCSIS paper archive.