Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systemsAmmar Boucherit، Laura M. Castro، Abdallah Khababa، Osman HasanMultiagent and Grid Systemsالمجلّد 16، (1)، الصفحات 47-662020مقال وصول مغلق 8
An agent based approach for modeling a groupwareMeftah Mohammed Charaf Eddine، Okba KazarMultiagent and Grid Systemsالمجلّد 12، (3)، الصفحات 199-2152016مقال وصول مغلق 1
