A Formal Approach to Model Multiagent Interactions Using the B Formal Method

Hind Fadil, Jean-Luc Koning. A Formal Approach to Model Multiagent Interactions Using the B Formal Method. In Félix F. Ramos Corchado, Victor Larios-Rosillo, Herwig Unger, editors, Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers. Volume 3563 of Lecture Notes in Computer Science, pages 516-528, Springer, 2005. [doi]

@inproceedings{FadilK05,
  title = {A Formal Approach to Model Multiagent Interactions Using the B Formal Method},
  author = {Hind Fadil and Jean-Luc Koning},
  year = {2005},
  doi = {10.1007/11533962_47},
  url = {http://dx.doi.org/10.1007/11533962_47},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/FadilK05},
  cites = {0},
  citedby = {0},
  pages = {516-528},
  booktitle = {Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers},
  editor = {Félix F. Ramos Corchado and Victor Larios-Rosillo and Herwig Unger},
  volume = {3563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28063-4},
}