DocumentCode
1648552
Title
A Contribution to the Formal Checking of Multi-Agents Systems
Author
Belala, F. ; Boucherit, A.
fYear
2006
fDate
3/8/2006 12:00:00 AM
Firstpage
9
Lastpage
16
Keywords
Communication industry; Computer industry; Design methodology; Formal specifications; Internet; Logic; Multiagent systems; Petri nets; Telecommunication computing; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Applications, 2006. IEEE International Conference on.
Print_ISBN
1-4244-0211-5
Type
conf
DOI
10.1109/AICCSA.2006.205061
Filename
1618326
Link To Document