Alessandro Abate · 12 obras en el catálogoObrasNumerical Software VerificationFormal Modeling and Analysis of Timed SystemsHybrid Systems BiologyQQuantitative Evaluation of SystemsQuantitative Evaluation of SystemsCComputational Methods in Systems BiologyComputational Methods in Systems BiologyBBlueBlueIImpero Di CartaxImpero Di CartaxFFairy Tales and Fables in the LockdownFairy Tales and Fables in the LockdownFFavole e Fiabe Nel LockdownFavole e Fiabe Nel LockdownHHSSC' 16HSSC' 16II, DestinyI, DestinyIIo, DestinoIo, Destino