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.

A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic

Christophe Chareton, Julien Brunel, David Chemouil. A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. In Adenilso da Silva Simão, Carroll Morgan, editors, Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Volume 7021 of Lecture Notes in Computer Science, pages 188-203, Springer, 2011. [doi]

Authors

Christophe Chareton

This author has not been identified. Look up 'Christophe Chareton' in Google

Julien Brunel

This author has not been identified. Look up 'Julien Brunel' in Google

David Chemouil

This author has not been identified. It may be one of the following persons: Look up 'David Chemouil' in Google
runs on