Ahmed Taki Eddine Dib, Zaïdi Sahnoun. Model checking of Multi Agent System architectures using BigMC. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, 2015 Federated Conference on Computer Science and Information Systems, FedCSIS 2015, Lódz, Poland, September 13-16, 2015. pages 1717-1722, IEEE, 2015. [doi]
Abstract is missing.