%0 Conference Paper %1 conf/aiccsa/BelalaB06 %A Belala, Faiza %A Boucherit, A. %B AICCSA %D 2006 %I IEEE Computer Society %K dblp %P 9-16 %T A Contribution to the Formal Checking of Multi-Agents Systems. %U http://dblp.uni-trier.de/db/conf/aiccsa/aiccsa2006.html#BelalaB06 %@ 1-4244-0211-5

@inproceedings{conf/aiccsa/BelalaB06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Belala, Faiza and Boucherit, A.}, biburl = {https://www.bibsonomy.org/bibtex/24ad5b4a52bccfef1e01d8c28ffad3e3e/dblp}, booktitle = {AICCSA}, crossref = {conf/aiccsa/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/AICCSA.2006.205061}, interhash = {621c9f7d60fd9b852d08ddfc5f2147aa}, intrahash = {4ad5b4a52bccfef1e01d8c28ffad3e3e}, isbn = {1-4244-0211-5}, keywords = {dblp}, pages = {9-16}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:33:43.000+0200}, title = {A Contribution to the Formal Checking of Multi-Agents Systems.}, url = {http://dblp.uni-trier.de/db/conf/aiccsa/aiccsa2006.html#BelalaB06}, year = 2006 }