@inproceedings{DBLP:conf/mabs/JonkerSTY04,
  author       = {Catholijn M. Jonker and
                  Martijn C. Schut and
                  Jan Treur and
                  Pinar Yolum},
  editor       = {Paul Davidsson and
                  Brian Logan and
                  Keiki Takadama},
  title        = {Formal Analysis of Meeting Protocols},
  booktitle    = {Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop {MABS}
                  2004, New York, NY, USA, July 19, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3415},
  pages        = {114--129},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32243-6\_10},
  doi          = {10.1007/978-3-540-32243-6\_10},
  timestamp    = {Wed, 08 Dec 2021 09:19:08 +0100},
  biburl       = {https://dblp.org/rec/conf/mabs/JonkerSTY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ejj8cC4hgxgXHzgFf","bibbaseid":"jonker-schut-treur-yolum-formalanalysisofmeetingprotocols-2004","authorIDs":["JAqmGZicdy6Q83SjG"],"author_short":["Jonker, C. M.","Schut, M. C.","Treur, J.","Yolum, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[]}],"editor":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Davidsson"],"suffixes":[]},{"firstnames":["Brian"],"propositions":[],"lastnames":["Logan"],"suffixes":[]},{"firstnames":["Keiki"],"propositions":[],"lastnames":["Takadama"],"suffixes":[]}],"title":"Formal Analysis of Meeting Protocols","booktitle":"Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"3415","pages":"114–129","publisher":"Springer","year":"2004","url":"https://doi.org/10.1007/978-3-540-32243-6\\_10","doi":"10.1007/978-3-540-32243-6_10","timestamp":"Wed, 08 Dec 2021 09:19:08 +0100","biburl":"https://dblp.org/rec/conf/mabs/JonkerSTY04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/mabs/JonkerSTY04,\n author = {Catholijn M. Jonker and\n Martijn C. Schut and\n Jan Treur and\n Pinar Yolum},\n editor = {Paul Davidsson and\n Brian Logan and\n Keiki Takadama},\n title = {Formal Analysis of Meeting Protocols},\n booktitle = {Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop {MABS}\n 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {3415},\n pages = {114--129},\n publisher = {Springer},\n year = {2004},\n url = {https://doi.org/10.1007/978-3-540-32243-6\\_10},\n doi = {10.1007/978-3-540-32243-6\\_10},\n timestamp = {Wed, 08 Dec 2021 09:19:08 +0100},\n biburl = {https://dblp.org/rec/conf/mabs/JonkerSTY04.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."],"editor_short":["Davidsson, P.","Logan, B.","Takadama, K."],"key":"DBLP:conf/mabs/JonkerSTY04","id":"DBLP:conf/mabs/JonkerSTY04","bibbaseid":"jonker-schut-treur-yolum-formalanalysisofmeetingprotocols-2004","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-32243-6\\_10"},"metadata":{"authorlinks":{"yolum, p":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/31/4750.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/31/4750.bib","creationDate":"2020-12-01T13:28:32.311Z","downloads":0,"keywords":[],"search_terms":["formal","analysis","meeting","protocols","jonker","schut","treur","yolum"],"title":"Formal Analysis of Meeting Protocols","year":2004,"dataSources":["8EgZyj696oJkoT8iA","sCvpgbxjdDoaoWxjM"]}