Jonker CM, Schut CM, Treur J, Yolum P. Formal Analysis of Meeting Protocols. In: Verlag S, editor. Proceedings of the First Joint Workshop on Multi-Agent and Multi-Agent-Based Simulation and MAMABS'04. Vol Vol. 3415.; 2005. pp.221 – 237.