Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings Abate, Alessandro Heftet / 2017 / Engelsk
Quantitative Evaluation of Systems 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings Abate, Alessandro Heftet / 2021 / Engelsk
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Abate, Alessandro Heftet / 2017 / Engelsk
Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers Abate, Alessandro Heftet / 2016 / Engelsk
Computational Methods in Systems Biology 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings Abate, Alessandro Heftet / 2020 / Engelsk
