The Community for Technology Leaders
IEEE International Conference on Computer Systems and Applications, 2006. (2006)
Mar. 8, 2006 to Mar. 8, 2006
ISBN: 1-4244-0211-5
pp: 9-16
INDEX TERMS
null
CITATION

F. Belala and A. Boucherit, "A Contribution to the Formal Checking of Multi-Agents Systems," IEEE International Conference on Computer Systems and Applications, 2006.(AICCSA), vol. 00, no. , pp. 9-16, 2006.
doi:10.1109/AICCSA.2006.205061
90 ms
(Ver 3.3 (11022016))