Analysis of meeting protocols by formalisation, simulation, and verification

Analysis of meeting protocols by formalisation, simulation, and verification. Jonker, C. M., Schut, M. C., Treur, J., & Yolum, P. Comput. Math. Organ. Theory, 13(3):283–314, 2007.

Paper doi bibtex

@article{DBLP:journals/cmot/JonkerSTY07,
  author       = {Catholijn M. Jonker and
                  Martijn C. Schut and
                  Jan Treur and
                  Pinar Yolum},
  title        = {Analysis of meeting protocols by formalisation, simulation, and verification},
  journal      = {Comput. Math. Organ. Theory},
  volume       = {13},
  number       = {3},
  pages        = {283--314},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10588-006-9001-8},
  doi          = {10.1007/S10588-006-9001-8},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cmot/JonkerSTY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"X9sKdyHzywPx7QBQy","bibbaseid":"jonker-schut-treur-yolum-analysisofmeetingprotocolsbyformalisationsimulationandverification-2007","authorIDs":["JAqmGZicdy6Q83SjG"],"author_short":["Jonker, C. M.","Schut, M. C.","Treur, J.","Yolum, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Catholijn","M."],"propositions":[],"lastnames":["Jonker"],"suffixes":[]},{"firstnames":["Martijn","C."],"propositions":[],"lastnames":["Schut"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Treur"],"suffixes":[]},{"firstnames":["Pinar"],"propositions":[],"lastnames":["Yolum"],"suffixes":[]}],"title":"Analysis of meeting protocols by formalisation, simulation, and verification","journal":"Comput. Math. Organ. Theory","volume":"13","number":"3","pages":"283–314","year":"2007","url":"https://doi.org/10.1007/s10588-006-9001-8","doi":"10.1007/S10588-006-9001-8","timestamp":"Thu, 04 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/cmot/JonkerSTY07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/cmot/JonkerSTY07,\n author = {Catholijn M. Jonker and\n Martijn C. Schut and\n Jan Treur and\n Pinar Yolum},\n title = {Analysis of meeting protocols by formalisation, simulation, and verification},\n journal = {Comput. Math. Organ. Theory},\n volume = {13},\n number = {3},\n pages = {283--314},\n year = {2007},\n url = {https://doi.org/10.1007/s10588-006-9001-8},\n doi = {10.1007/S10588-006-9001-8},\n timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/cmot/JonkerSTY07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jonker, C. M.","Schut, M. C.","Treur, J.","Yolum, P."],"key":"DBLP:journals/cmot/JonkerSTY07","id":"DBLP:journals/cmot/JonkerSTY07","bibbaseid":"jonker-schut-treur-yolum-analysisofmeetingprotocolsbyformalisationsimulationandverification-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10588-006-9001-8"},"metadata":{"authorlinks":{"yolum, p":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/31/4750.bib"}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/31/4750.bib","creationDate":"2020-12-01T13:28:32.289Z","downloads":0,"keywords":[],"search_terms":["analysis","meeting","protocols","formalisation","simulation","verification","jonker","schut","treur","yolum"],"title":"Analysis of meeting protocols by formalisation, simulation, and verification","year":2007,"dataSources":["8EgZyj696oJkoT8iA","sCvpgbxjdDoaoWxjM"]}