@inproceedings{DBLP:conf/coordination/StefanoLS20,
  author       = {Luca Di Stefano and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Wendelin Serwe},
  editor       = {Simon Bliudze and
                  Laura Bocchi},
  title        = {Combining SLiVER with {CADP} to Analyze Multi-agent Systems},
  booktitle    = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2020, Held as Part of the 15th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2020, Valletta, Malta, June 15-19, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12134},
  pages        = {370--385},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50029-0\_23},
  doi          = {10.1007/978-3-030-50029-0\_23},
  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/StefanoLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"W6oistwsLEmwLYh6j","bibbaseid":"stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020","author_short":["Stefano, L. D.","Lang, F.","Serwe, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca","Di"],"propositions":[],"lastnames":["Stefano"],"suffixes":[]},{"firstnames":["Frédéric"],"propositions":[],"lastnames":["Lang"],"suffixes":[]},{"firstnames":["Wendelin"],"propositions":[],"lastnames":["Serwe"],"suffixes":[]}],"editor":[{"firstnames":["Simon"],"propositions":[],"lastnames":["Bliudze"],"suffixes":[]},{"firstnames":["Laura"],"propositions":[],"lastnames":["Bocchi"],"suffixes":[]}],"title":"Combining SLiVER with CADP to Analyze Multi-agent Systems","booktitle":"Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings","series":"Lecture Notes in Computer Science","volume":"12134","pages":"370–385","publisher":"Springer","year":"2020","url":"https://doi.org/10.1007/978-3-030-50029-0\\_23","doi":"10.1007/978-3-030-50029-0_23","timestamp":"Mon, 26 Jul 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/coordination/StefanoLS20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/coordination/StefanoLS20,\n author = {Luca Di Stefano and\n Fr{\\'{e}}d{\\'{e}}ric Lang and\n Wendelin Serwe},\n editor = {Simon Bliudze and\n Laura Bocchi},\n title = {Combining SLiVER with {CADP} to Analyze Multi-agent Systems},\n booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International\n Conference, {COORDINATION} 2020, Held as Part of the 15th International\n Federated Conference on Distributed Computing Techniques, DisCoTec\n 2020, Valletta, Malta, June 15-19, 2020, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12134},\n pages = {370--385},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-50029-0\\_23},\n doi = {10.1007/978-3-030-50029-0\\_23},\n timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/coordination/StefanoLS20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Stefano, L. D.","Lang, F.","Serwe, W."],"editor_short":["Bliudze, S.","Bocchi, L."],"key":"DBLP:conf/coordination/StefanoLS20","id":"DBLP:conf/coordination/StefanoLS20","bibbaseid":"stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-50029-0\\_23"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pid/215/9758.bib","dataSources":["ZKDuuCf2q9KeEku3t","qqBcmuQ6eRsfasn9w","qKSww8Y3LjH72bFAJ","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["combining","sliver","cadp","analyze","multi","agent","systems","stefano","lang","serwe"],"title":"Combining SLiVER with CADP to Analyze Multi-agent Systems","year":2020}