Abate, Alessandro.

Overview

Works:	0 works in 5 publications in 1 languages

Titles

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

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

Quantitative evaluation of systems = 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings / by: International Conference on Quantitative Evaluation of Systems (2021 :); Abate, Alessandro.; Marin, Andrea.; SpringerLink (Online service) (Electronic resources)

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

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

Subjects