Model Checking Multi-Agent Systems

Abstract

Model Checking Multi-Agent Systems

References

Authors

  • M. Bourahla Bourahla
  • M. Benmohamed

Issue

Vol. 29 No. 2 (2005)

Section

Special issue papers

License

Authors retain copyright in their work. By submitting to and publishing with Informatica, authors grant the publisher (Slovene Society Informatika) the non-exclusive right to publish, reproduce, and distribute the article and to identify itself as the original publisher.

All articles are published under the Creative Commons Attribution license CC BY 3.0. Under this license, others may share and adapt the work for any purpose, provided appropriate credit is given and changes (if any) are indicated.

Authors may deposit and share the submitted version, accepted manuscript, and published version, provided the original publication in Informatica is properly cited.

How to Cite

Model Checking Multi-Agent Systems. Informatica, 29(2). https://www.informatica.si/index.php/informatica/article/view/32