L. Mengual, C. de la Puente. Secure Intelligent Agents Based on Formal Description Techniques. In Ernestina Menasalvas Ruiz, Javier Segovia, Piotr S. Szczepaniak, editors, Web Intelligence, First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 5-6, 2003, Proceedings. Volume 2663 of Lecture Notes in Computer Science, pages 134-141, Springer, 2003. [doi]
Abstract is missing.