Epistemic Verification of Anonymity

Additional Metadata
MSC	Logics of knowledge and belief (including belief change) (msc 03B42)
THEME	Software (theme 1)
Publisher	Elsevier B.V.
Editor	M.H. ter Beek (Maurice) , F. Gadducci (Fabio)
Series	Electronic Notes in Theoretical Computer Science
Conference	Workshop on Views on Designing Complex Architectures
Organisation	Software Analysis and Transformation
Citation APA Style AAA Style APA 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., & Orzan, S.-M. (2007). Epistemic Verification of Anonymity. In M. ter Beek & F. Gadducci (Eds.), Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), (pp. 159–174). Elsevier B.V.

Publication