Checking Communication Protocols with Dynamic Epistemic Logic

  • Jan van Eijck (Invited speaker)

Activity: Talk or presentation › Invited talk › Academic

Period1 Jan 2005
Event title7th Augustus de Morgan Workshop
Event typeOther
LocationKing's College, LondonShow on map