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.

Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models

Alexei Lapouchnian, Yves Lespérance. Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. In Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu, editors, Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos. Volume 5600 of Lecture Notes in Computer Science, pages 483-503, Springer, 2009. [doi]

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