@incollection{DDF+9, 
    title = {Set-Based Analysis for Biological Modelling }, 
    author = {Dang, Thao and Dreossi, Tommaso and Fanchon, Eric and Maler, Oded and Piazza, Carla and Rocca, Alexandre},
    year = {2019},
    booktitle = {Automated Reasoning for Systems Biology and Medicine, Computational Biology Series},
    publisher = {Springer},
    team = {axe_Mohytos, TEMPO},
}