Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/02/2020 → 31/01/2023 |
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)