César Andrés, Carlos Molinero, Manuel Núñez. A Formal Methodology to Specify Hierarchical Agent-Based Systems. In Richard Chbeir, Albert Dipanda, Kokou Yétongnon, editors, 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, SITIS 2008, Bali, Indonesia, November 30 - December 3, 2008. pages 169-176, IEEE Computer Society, 2008. [doi]
Abstract is missing.