home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by drs. A.M. Bleeker

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

drs. A.M. Bleeker

• contact information
• former member of group games and virtual worlds

some publications

Bleeker, A.M. & Meertens, L.G.L.T. (1999). Knowledge in security protocols: an operational semantics for BAN logic. In C. Areces & M. de Rijke (Eds.), Workshop Proceedings Methods for Modalities 1. Amsterdam, the Netherlands: ILLC, Amsterdam University.