Verification of communication protocols in a multi-agent system

Marina Bagic, Aleksandar Babac, Marijan Kunstic. Verification of communication protocols in a multi-agent system. In Richard Chbeir, Youakim Badr, Ajith Abraham, Dominique Laurent, Mario Köppen, Fernando Ferri, Lotfi A. Zadeh, Yukio Ohsawa, editors, CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008. pages 286-291, ACM, 2008. [doi]

Abstract

Abstract is missing.