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.

Formal Methods in Agent-Oriented Software Engineering

Amal El Fallah-Seghrouchni, Jorge J. Gómez-Sanz, Munindar P. Singh. Formal Methods in Agent-Oriented Software Engineering. In Marie Pierre Gleizes, Jorge J. Gómez-Sanz, editors, Agent-Oriented Software Engineering X - 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers. Volume 6038 of Lecture Notes in Computer Science, pages 213-228, Springer, 2009. [doi]

Authors

Amal El Fallah-Seghrouchni

This author has not been identified. Look up 'Amal El Fallah-Seghrouchni' in Google

Jorge J. Gómez-Sanz

This author has not been identified. Look up 'Jorge J. Gómez-Sanz' in Google

Munindar P. Singh

This author has not been identified. Look up 'Munindar P. Singh' in Google
runs on