@inbook{1a8c87481378431dbd8064a72e9cbea0,
title = "Dynamic epistemic logic for protocol analysis",
abstract = "The next day, the participants in the discussion on protocol analysis reconvene. This time, they have an in-depth exchange of ideas on possible uses of epistemic logic.",
author = "F. Dechesne and {Eijck, van}, J. and W. Teepe and Y. Wang",
year = "2009",
language = "English",
isbn = "978-90-8964-123-6",
series = "Texts in Logic and Games",
publisher = "Amsterdam University Press",
pages = "161--146",
editor = "{Eijck, van}, J. and R. Verbrugge",
booktitle = "Discourses on Social Software",
address = "Netherlands",
}