L. Kahloul, Kamel Barkaoui, Zaïdi Sahnoun. Using AUML to derive formal modeling agents interactions. In 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt. pages 109, IEEE Computer Society, 2005. [doi]
Abstract is missing.