Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem. Formalizing ARTIS Agent Model Using RT-Maude. In Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr, editors, Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings. Volume 5774 of Lecture Notes in Computer Science, pages 226-231, Springer, 2009. [doi]
Abstract is missing.