{"_id":"ZaoLr7D9FqSintLvh","bibbaseid":"denicola-distefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023","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":[]}],"title":"Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants","booktitle":"21st International Conference on Computational Methods in Systems Biology (CMSB)","year":"2023","doi":"10.1007/978-3-031-42697-1_4","bibtex":"@inproceedings{cmsb2023,\n author = {Rocco {De Nicola} and Luca {Di Stefano} and Omar Inverso and Serenella Valiani},\n title = {Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants},\n booktitle = {21st International Conference on Computational Methods in Systems Biology (CMSB)},\n year = {2023},\n doi = {10.1007/978-3-031-42697-1\\_4}\n}\n\n","author_short":["De Nicola, R.","Di Stefano, L.","Inverso, O.","Valiani, S."],"key":"cmsb2023","id":"cmsb2023","bibbaseid":"denicola-distefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["intuitive","modelling","formal","analysis","collective","behaviour","foraging","ants","de nicola","di stefano","inverso","valiani"],"title":"Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants","year":2023}