Not registered as user yet

Name:Sebastian Reidar Petersen
Country:Denmark
Affiliation:Aalborg University

Contributions

A-MOST 2020 Author of Conformance Testing in UPPAAL: A diabolic approach within the A-MOST-track