Dynamic Epistemic Logic and Protocol Verification

  • Jan van Eijck (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period23 May 2011
    Event titleSeminar Talk, University of Sevilla
    Event typeOther
    LocationSevillaShow on map