From Number Guessing Games to Security Protocol Analysis and Back

Additional Metadata
Keywords	Semantics of natural language and programming, protocol analysis, Kripke models, knowledge
THEME	Other (theme 6)
Organisation	Software Analysis and Transformation
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Eijck, J. (2013). From Number Guessing Games to Security Protocol Analysis and Back.

Publication