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, 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.