External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Marina Bagic

This author has not been identified. Look up 'Marina Bagic' in Google

Aleksandar Babac

This author has not been identified. Look up 'Aleksandar Babac' in Google

Marijan Kunstic

This author has not been identified. Look up 'Marijan Kunstic' in Google
runs on