Title :
A Contribution to the Formal Checking of Multi-Agents Systems
Author :
Belala, F. ; Boucherit, A.
fDate :
3/8/2006 12:00:00 AM
Keywords :
Communication industry; Computer industry; Design methodology; Formal specifications; Internet; Logic; Multiagent systems; Petri nets; Telecommunication computing; Testing;
Conference_Titel :
Computer Systems and Applications, 2006. IEEE International Conference on.
Print_ISBN :
1-4244-0211-5
DOI :
10.1109/AICCSA.2006.205061
