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.

Symbolic model checking for agent interactions

Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli. Symbolic model checking for agent interactions. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. pages 1555-1556, IFAAMAS, 2010. [doi]

Authors

Mohamed El-Menshawy

This author has not been identified. Look up 'Mohamed El-Menshawy' in Google

Wei Wan

This author has not been identified. Look up 'Wei Wan' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google

Rachida Dssouli

This author has not been identified. Look up 'Rachida Dssouli' in Google
runs on