External Links

Cite Key

Statistics

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

PDF

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.

Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of /* Models

Alexei Lapouchnian, Yves Lespérance. Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of /* Models. In Eric S. K. Yu, Paolo Giorgini, Neil A. M. Maiden, John Mylopoulos, editors, Social Modeling for Requirements Engineering. Cooperative information systems, pages 219-254, MIT Press, 2011.

Authors

Alexei Lapouchnian

This author has not been identified. Look up 'Alexei Lapouchnian' in Google

Yves Lespérance

This author has not been identified. Look up 'Yves Lespérance' in Google
runs on