Not registered as user yet

Name:Pierluigi San Pietro
Country:Italy
Affiliation:Politecnico di Milano

Contributions

FormaliSE 2021 Author of Improved Bounded Model Checking of Timed Automata within the FormaliSE 2021-track