A Verification Framework for Agent Communication

  • Rogier van Eijk (Invited speaker)

Activity: Talk or presentation › Invited talk › Academic

Period13 Dec 2001
Event titleUKMAS 2001, The Fourth UK Workshop on Multi-Agent Systems
Event typeOther
LocationSt. Catherine's College, Oxford, UKShow on map