Computational Methods in Systems BiologyAlessandro Abate, Tatjana Petrov, Verena Wolf · First published 2020Open the Tome
Formal Modeling and Analysis of Timed SystemsAlessandro Abate, Gilles Geeraerts · First published 2017Open the Tome