@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},
}