{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:14:59Z","timestamp":1725549299971},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540252627"},{"type":"electronic","value":"9783540322436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32243-6_10","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T16:58:34Z","timestamp":1267462714000},"page":"114-129","source":"Crossref","is-referenced-by-count":1,"title":["Formal Analysis of Meeting Protocols"],"prefix":"10.1007","author":[{"given":"Catholijn M.","family":"Jonker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martijn","family":"Schut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u0131nar","family":"Yolum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Creighton, J.L.: Using Group Process Techniques to Improve Meeting Effectiveness, http:\/\/www.effectivemeetings.com\/teams\/teamwork\/creighton.asp"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1057\/jors.1966.6","volume":"17","author":"J.D. Croston","year":"1966","unstructured":"Croston, J.D., Goulding, H.B.: The Effectiveness of Communication at Meetings: A Case Study. Operational Research Quarterly\u00a017(1), 47\u201357 (1966)","journal-title":"Operational Research Quarterly"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Jonker, C.M., Schut, M., Treur, J., Yolum, P.: Formal Analysis of Meeting Protocols. Vrije Universiteit Amsterdam, Department of Artificial Intelligence. Technical Report (2004), Available at http:\/\/www.few.vu.nl\/~wai\/Papers\/TR2004-meeting.pdf","DOI":"10.1007\/978-3-540-32243-6_10"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1142\/S0218843002000480","volume":"11","author":"C.M. Jonker","year":"2002","unstructured":"Jonker, C.M., Treur, J.: Treur Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. International Journal of Cooperative Information Systems\u00a011, 51\u201392 (2002)","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/249540","volume":"20","author":"F. Niederman","year":"1996","unstructured":"Niederman, F., Beise, C.M., Beranek, P.M.: Issues and Concerns about Computer-Supported Meetings: The Facilitator\u2019 s Perspective. MIS Quarterly\u00a020(1), 1\u201322 (1996)","journal-title":"MIS Quarterly"},{"issue":"6","key":"10_CR6","first-page":"559","volume":"24","author":"C.B. Serman","year":"1998","unstructured":"Serman, C.B., Basili, V.R.: Communication and Organization: An Empirical Study of Discussion in Inspection Meetings. IEEE Transactions on Software Engineering\u00a024(6), 559\u2013572 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR7","unstructured":"Kevin Wolf. The Makings of a Good Meeting (October 2002), Available at: http:\/\/members.dcn.org\/kjwolf"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent and Multi-Agent-Based Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32243-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:34:25Z","timestamp":1605760465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32243-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540252627","9783540322436"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32243-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}