@inproceedings{DBLP:conf/vmcai/StefanoL23,
  author    = {Luca {Di Stefano} and
               Fr{\'{e}}d{\'{e}}ric Lang},
  editor    = {Cezara Dragoi and
               Michael Emmi and
               Jingbo Wang},
  title     = {Compositional Verification of Stigmergic Collective Systems},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 24th International
               Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13881},
  pages     = {155--176},
  publisher = {Springer},
  year      = {2023},
  url       = {https://doi.org/10.1007/978-3-031-24950-1\_8},
  doi       = {10.1007/978-3-031-24950-1\_8},
  timestamp = {Mon, 30 Jan 2023 14:59:54 +0100},
  biburl    = {https://dblp.org/rec/conf/vmcai/StefanoL23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  url_paper = {https://www.cse.chalmers.se/%7Elucad/papers/vmcai2023.pdf}
}

{"_id":"QkmMWpdWnb5BtFhLv","bibbaseid":"distefano-lang-compositionalverificationofstigmergiccollectivesystems-2023","author_short":["Di Stefano, L.","Lang, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Di Stefano"],"suffixes":[]},{"firstnames":["Frédéric"],"propositions":[],"lastnames":["Lang"],"suffixes":[]}],"editor":[{"firstnames":["Cezara"],"propositions":[],"lastnames":["Dragoi"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Emmi"],"suffixes":[]},{"firstnames":["Jingbo"],"propositions":[],"lastnames":["Wang"],"suffixes":[]}],"title":"Compositional Verification of Stigmergic Collective Systems","booktitle":"Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings","series":"Lecture Notes in Computer Science","volume":"13881","pages":"155–176","publisher":"Springer","year":"2023","url":"https://doi.org/10.1007/978-3-031-24950-1\\_8","doi":"10.1007/978-3-031-24950-1_8","timestamp":"Mon, 30 Jan 2023 14:59:54 +0100","biburl":"https://dblp.org/rec/conf/vmcai/StefanoL23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","url_paper":"https://www.cse.chalmers.se/%7Elucad/papers/vmcai2023.pdf","bibtex":"@inproceedings{DBLP:conf/vmcai/StefanoL23,\n author = {Luca {Di Stefano} and\n Fr{\\'{e}}d{\\'{e}}ric Lang},\n editor = {Cezara Dragoi and\n Michael Emmi and\n Jingbo Wang},\n title = {Compositional Verification of Stigmergic Collective Systems},\n booktitle = {Verification, Model Checking, and Abstract Interpretation - 24th International\n Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {13881},\n pages = {155--176},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-24950-1\\_8},\n doi = {10.1007/978-3-031-24950-1\\_8},\n timestamp = {Mon, 30 Jan 2023 14:59:54 +0100},\n biburl = {https://dblp.org/rec/conf/vmcai/StefanoL23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n url_paper = {https://www.cse.chalmers.se/%7Elucad/papers/vmcai2023.pdf}\n}\n\n\n","author_short":["Di Stefano, L.","Lang, F."],"editor_short":["Dragoi, C.","Emmi, M.","Wang, J."],"key":"DBLP:conf/vmcai/StefanoL23","id":"DBLP:conf/vmcai/StefanoL23","bibbaseid":"distefano-lang-compositionalverificationofstigmergiccollectivesystems-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-24950-1\\_8"," paper":"https://www.cse.chalmers.se/%7Elucad/papers/vmcai2023.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["compositional","verification","stigmergic","collective","systems","di stefano","lang"],"title":"Compositional Verification of Stigmergic Collective Systems","year":2023,"downloads":1}