@inproceedings{DBLP:conf/isola/NicolaSIV22,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso and
                  Serenella Valiani},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Modelling Flocks of Birds from the Bottom Up},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Adaptation and Learning - 11th International Symposium, ISoLA 2022,
                  Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13703},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19759-8\_6},
  doi          = {10.1007/978-3-031-19759-8\_6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"x6p3y8xJvioLSTfuG","bibbaseid":"nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022","author_short":["Nicola, R. D.","Stefano, L. D.","Inverso, O.","Valiani, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Luca","Di"],"propositions":[],"lastnames":["Stefano"],"suffixes":[]},{"firstnames":["Omar"],"propositions":[],"lastnames":["Inverso"],"suffixes":[]},{"firstnames":["Serenella"],"propositions":[],"lastnames":["Valiani"],"suffixes":[]}],"editor":[{"firstnames":["Tiziana"],"propositions":[],"lastnames":["Margaria"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Steffen"],"suffixes":[]}],"title":"Modelling Flocks of Birds from the Bottom Up","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III","series":"Lecture Notes in Computer Science","volume":"13703","pages":"82–96","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-031-19759-8\\_6","doi":"10.1007/978-3-031-19759-8_6","timestamp":"Wed, 07 Dec 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/isola/NicolaSIV22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isola/NicolaSIV22,\n author = {Rocco De Nicola and\n Luca Di Stefano and\n Omar Inverso and\n Serenella Valiani},\n editor = {Tiziana Margaria and\n Bernhard Steffen},\n title = {Modelling Flocks of Birds from the Bottom Up},\n booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.\n Adaptation and Learning - 11th International Symposium, ISoLA 2022,\n Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},\n series = {Lecture Notes in Computer Science},\n volume = {13703},\n pages = {82--96},\n publisher = {Springer},\n year = {2022},\n url = {https://doi.org/10.1007/978-3-031-19759-8\\_6},\n doi = {10.1007/978-3-031-19759-8\\_6},\n timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nicola, R. D.","Stefano, L. D.","Inverso, O.","Valiani, S."],"editor_short":["Margaria, T.","Steffen, B."],"key":"DBLP:conf/isola/NicolaSIV22","id":"DBLP:conf/isola/NicolaSIV22","bibbaseid":"nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-19759-8\\_6"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pid/215/9758.bib","dataSources":["PCdRvyaDZRZMeqKhf","ZKDuuCf2q9KeEku3t","qqBcmuQ6eRsfasn9w","qKSww8Y3LjH72bFAJ"],"keywords":[],"search_terms":["modelling","flocks","birds","bottom","nicola","stefano","inverso","valiani"],"title":"Modelling Flocks of Birds from the Bottom Up","year":2022}