Formal Analysis of Meeting Protocols.

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

Published in: MABS (2004)

Keyphrases

formal analysis
payment protocol
multi party
formal methods
communication protocols
knowledge base
meeting room
ban logic
relational databases
knowledge representation
privacy preserving
communication protocol
speaker diarization