Abate, Alessandro.

Overview

Works:	0 works in 5 publications in 1 languages

Titles

Quantitative evaluation of systems18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings / by: (1998 :); Abate, Alessandro.; Marin, Andrea.; SpringerLink (Online service) (Electronic resources)

Numerical software verification10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings / by: (1998 :); Abate, Alessandro.; Boldo, Sylvie.; SpringerLink (Online service) (Electronic resources)

Formal modeling and analysis of timed systems15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (1998 :); Abate, Alessandro.; Geeraerts, Gilles.; SpringerLink (Online service) (Electronic resources)

Computational methods in systems biology18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / by: (1998 :); Abate, Alessandro.; Petrov, Tatjana.; SpringerLink (Online service); Wolf, Verena. (Electronic resources)

Hybrid systems biologyfourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers / by: (1998 :); Abate, Alessandro.; Safranek, David.; SpringerLink (Online service) (Electronic resources)

Subjects