doi dblp A Formal Model for the Simulation and Analysis of Early Biofilm Formation Antonio Cerone | Enrico Marsili From Data to Models and Back - 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers