Registered user since Tue 18 May 2021

Name:Robert L. Smith
Country:United States
Affiliation:Politecnico di Milano

Contributions

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