Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ignacio Hernández-Antón

Modelling Cryptographic Keys in Dynamic Epistemic Logic With DEMO

Highlights on Practical Applications of Agents and Multi-Agent Systems

English