conf.researchr.org / Marcello Bersani
Registered user since Fri 9 Nov 2018
Name:Marcello Bersani
Affiliation:Politecnico di Milano, Italy
Contributions
| FormaliSE 2021 | Author of Improved Bounded Model Checking of Timed Automata within the FormaliSE 2021-track |
| FormaliSE 2019 | Committee Member in Program Committee within the FormaliSE 2019-track |