Ahmed T. Dib, Zaïdi Sahnoun. Formal Specification of Multi-Agent System Architecture. In Zaïdi Sahnoun, editor, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014. Volume 1294 of CEUR Workshop Proceedings, pages 65-72, CEUR-WS.org, 2014. [doi]
Abstract is missing.