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}, }