@inproceedings{distefano:hal-02890401,
  TITLE = {{Combining SLiVER with CADP to Analyze Multi-agent Systems}},
  AUTHOR = {Di Stefano, Luca and Lang, Fr{\'e}d{\'e}ric and Serwe, Wendelin},
  URL = {https://inria.hal.science/hal-02890401},
  BOOKTITLE = {{COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages}},
  ADDRESS = {La Valetta, Malta},
  PUBLISHER = {{Springer Verlag}},
  VOLUME = {12134},
  PAGES = {370-385},
  YEAR = {2020},
  MONTH = Jun,
  DOI = {10.1007/978-3-030-50029-0\_23},
  PDF = {https://inria.hal.science/hal-02890401/file/coordination2020.pdf},
  HAL_ID = {hal-02890401},
  HAL_VERSION = {v1},
}