Formal Analysis of Meeting Protocols.

Catholijn M. Jonker, Martijn C. Schut, Jan Treur, Pinar Yolum

Browse the full MABS paper archive.