Dynamic epistemic logic for protocol analysis

F. Dechesne, J. Eijck, van, W. Teepe, Y. Wang

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Vingerafdruk Duik in de onderzoeksthema's van 'Dynamic epistemic logic for protocol analysis'. Samen vormen ze een unieke vingerafdruk.

Kunst en humaniteit