Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO.
Hans van Ditmarsch, Jan van Eijck, Ignacio Hernndez-Antn, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano
VenueNationalPAAMS
Year2012
ProceedingsPAAMS (Special Sessions)
DBLP recordconf/paams/DitmarschEHSSS12 ↗
Browse the full PAAMS paper archive.