Logics of knowledge and belief (including belief change) (msc 03B42)
Software (theme 1)
Elsevier B.V.
M.H. ter Beek (Maurice) , F. Gadducci (Fabio)
Electronic Notes in Theoretical Computer Science
Workshop on Views on Designing Complex Architectures
Software Analysis and Transformation

van Eijck, D.J.N, & Orzan, S.-M. (2007). Epistemic Verification of Anonymity. In M.H 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.