Formal Analysis of Meeting Protocols

C.M. Jonker, M.C. Schut, J. Treur, P. Yolum

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationMABS
EditorsP. Davidsson, B. Logan, K. Takadama
PublisherSpringer
Pages114-129
ISBN (Print)3540252622, 9783540252627
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science

Bibliographical note

conf/mabs/JonkerSTY04

Cite this

Jonker, C. M., Schut, M. C., Treur, J., & Yolum, P. (2005). Formal Analysis of Meeting Protocols. In P. Davidsson, B. Logan, & K. Takadama (Eds.), MABS (pp. 114-129). (Lecture Notes in Computer Science). Springer.
Jonker, C.M. ; Schut, M.C. ; Treur, J. ; Yolum, P. / Formal Analysis of Meeting Protocols. MABS. editor / P. Davidsson ; B. Logan ; K. Takadama. Springer, 2005. pp. 114-129 (Lecture Notes in Computer Science).
@inproceedings{0e1855bb7b5f475ca8c28a797bb2f4a8,
title = "Formal Analysis of Meeting Protocols",
author = "C.M. Jonker and M.C. Schut and J. Treur and P. Yolum",
note = "conf/mabs/JonkerSTY04",
year = "2005",
language = "English",
isbn = "3540252622",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "114--129",
editor = "P. Davidsson and B. Logan and K. Takadama",
booktitle = "MABS",

}

Jonker, CM, Schut, MC, Treur, J & Yolum, P 2005, Formal Analysis of Meeting Protocols. in P Davidsson, B Logan & K Takadama (eds), MABS. Lecture Notes in Computer Science, Springer, pp. 114-129.

Formal Analysis of Meeting Protocols. / Jonker, C.M.; Schut, M.C.; Treur, J.; Yolum, P.

MABS. ed. / P. Davidsson; B. Logan; K. Takadama. Springer, 2005. p. 114-129 (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Formal Analysis of Meeting Protocols

AU - Jonker, C.M.

AU - Schut, M.C.

AU - Treur, J.

AU - Yolum, P.

N1 - conf/mabs/JonkerSTY04

PY - 2005

Y1 - 2005

M3 - Conference contribution

SN - 3540252622

SN - 9783540252627

T3 - Lecture Notes in Computer Science

SP - 114

EP - 129

BT - MABS

A2 - Davidsson, P.

A2 - Logan, B.

A2 - Takadama, K.

PB - Springer

ER -

Jonker CM, Schut MC, Treur J, Yolum P. Formal Analysis of Meeting Protocols. In Davidsson P, Logan B, Takadama K, editors, MABS. Springer. 2005. p. 114-129. (Lecture Notes in Computer Science).