MoL-2014-16: Malvin Gattinger Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols 1.Full Text, 2.Abstract. < Back
