LOMAPS

LOMAPS workshop on Analysis and Verification of Multiple-Agent Languages

Search within this conference

Search

1. 1996

   LOMAPS 1996

   • 24-26 June
   • Stockholm, Sweden

   • Analysis and Verification of Multiple-Agent Languages

     19 Papers

     1 Volume