BibTeX record conf/csoc/AliJKZ17

• > Home > conf/csoc/AliJKZ17

@inproceedings{DBLP:conf/csoc/AliJKZ17,
  author       = {Ammar Alhaj Ali and
                  Roman Jasek and
                  Said Krayem and
                  Petr Zacek},
  editor       = {Radek Silhavy and
                  Roman Senkerik and
                  Zuzana Kom{\'{\i}}nkov{\'{a}} Oplatkov{\'{a}} and
                  Zdenka Prokopova and
                  Petr Silhavy},
  title        = {Proving the Effectiveness of Negotiation Protocols {KQML} in Multi-agent
                  Systems Using Event-B},
  booktitle    = {Cybernetics and Mathematics Applications in Intelligent Systems -
                  Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017),
                  Vol 2},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {574},
  pages        = {397--406},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-57264-2\_40},
  doi          = {10.1007/978-3-319-57264-2\_40},
  timestamp    = {Sat, 30 Sep 2023 09:38:04 +0200},
  biburl       = {https://dblp.org/rec/conf/csoc/AliJKZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}