@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 = {International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
  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 = {Fri, 21 Oct 2022 19:54:55 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  url_paper = {https://www.cse.chalmers.se/%7Elucad/papers/isola2022.pdf}
}

{"_id":"BbcMy46cz7duJWJES","bibbaseid":"denicola-distefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022","author_short":["De Nicola, R.","Di Stefano, L.","Inverso, O.","Valiani, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Di 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":"International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","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":"Fri, 21 Oct 2022 19:54:55 +0200","biburl":"https://dblp.org/rec/conf/isola/NicolaSIV22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","url_paper":"https://www.cse.chalmers.se/%7Elucad/papers/isola2022.pdf","bibtex":"@inproceedings{DBLP:conf/isola/NicolaSIV22,\n author = {Rocco {De Nicola} and Luca {Di Stefano} and Omar Inverso and Serenella Valiani},\n editor = {Tiziana Margaria and Bernhard Steffen},\n title = {Modelling Flocks of Birds from the Bottom Up},\n booktitle = {International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},\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 = {Fri, 21 Oct 2022 19:54:55 +0200},\n biburl = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n url_paper = {https://www.cse.chalmers.se/%7Elucad/papers/isola2022.pdf}\n}\n\n\n\n","author_short":["De Nicola, R.","Di Stefano, L.","Inverso, O.","Valiani, S."],"editor_short":["Margaria, T.","Steffen, B."],"key":"DBLP:conf/isola/NicolaSIV22","id":"DBLP:conf/isola/NicolaSIV22","bibbaseid":"denicola-distefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-19759-8\\_6"," paper":"https://www.cse.chalmers.se/%7Elucad/papers/isola2022.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["modelling","flocks","birds","bottom","de nicola","di stefano","inverso","valiani"],"title":"Modelling Flocks of Birds from the Bottom Up","year":2022,"downloads":1}