Formal Analysis of Meeting Protocols. Jonker, C. M., Schut, M. C., Treur, J., & Yolum, P. In Davidsson, P., Logan, B., & Takadama, K., editors, Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers, volume 3415, of Lecture Notes in Computer Science, pages 114–129, 2004. Springer.
Formal Analysis of Meeting Protocols [link]Paper  doi  bibtex   
@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}
}

Downloads: 0