Formal Techniques and Tools for the Reduction of Biological Systems

  • Argyris, Georgios (PhD Student)
  • Bacci, Giovanni (Examiner)
  • Nenzi, Laura (Examiner)
  • Lluch Lafuente, Alberto (Main Supervisor)
  • Vandin, Andrea (Supervisor)

Project Details

Effective start/end date01/02/202014/06/2023


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.