@inproceedings{DBLP:conf/isola/StefanoL21,
  author       = {Luca Di Stefano and
                  Fr{\'{e}}d{\'{e}}ric Lang},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Verifying Temporal Properties of Stigmergic Collective Systems Using
                  {CADP}},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation
                  - 10th International Symposium on Leveraging Applications of Formal
                  Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13036},
  pages        = {473--489},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89159-6\_29},
  doi          = {10.1007/978-3-030-89159-6\_29},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/StefanoL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"P5F894r25bbtsF7b2","bibbaseid":"stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021","author_short":["Stefano, L. D.","Lang, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca","Di"],"propositions":[],"lastnames":["Stefano"],"suffixes":[]},{"firstnames":["Frédéric"],"propositions":[],"lastnames":["Lang"],"suffixes":[]}],"editor":[{"firstnames":["Tiziana"],"propositions":[],"lastnames":["Margaria"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Steffen"],"suffixes":[]}],"title":"Verifying Temporal Properties of Stigmergic Collective Systems Using CADP","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings","series":"Lecture Notes in Computer Science","volume":"13036","pages":"473–489","publisher":"Springer","year":"2021","url":"https://doi.org/10.1007/978-3-030-89159-6\\_29","doi":"10.1007/978-3-030-89159-6_29","timestamp":"Wed, 03 Nov 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/isola/StefanoL21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isola/StefanoL21,\n author = {Luca Di Stefano and\n Fr{\\'{e}}d{\\'{e}}ric Lang},\n editor = {Tiziana Margaria and\n Bernhard Steffen},\n title = {Verifying Temporal Properties of Stigmergic Collective Systems Using\n {CADP}},\n booktitle = {Leveraging Applications of Formal Methods, Verification and Validation\n - 10th International Symposium on Leveraging Applications of Formal\n Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {13036},\n pages = {473--489},\n publisher = {Springer},\n year = {2021},\n url = {https://doi.org/10.1007/978-3-030-89159-6\\_29},\n doi = {10.1007/978-3-030-89159-6\\_29},\n timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/isola/StefanoL21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Stefano, L. D.","Lang, F."],"editor_short":["Margaria, T.","Steffen, B."],"key":"DBLP:conf/isola/StefanoL21","id":"DBLP:conf/isola/StefanoL21","bibbaseid":"stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-89159-6\\_29"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pid/215/9758.bib","dataSources":["ZKDuuCf2q9KeEku3t","qqBcmuQ6eRsfasn9w","qKSww8Y3LjH72bFAJ"],"keywords":[],"search_terms":["verifying","temporal","properties","stigmergic","collective","systems","using","cadp","stefano","lang"],"title":"Verifying Temporal Properties of Stigmergic Collective Systems Using CADP","year":2021}