Registered user since Wed 30 Jan 2019

Name:Nathalie Cauchi
Country:United Kingdom
Affiliation:University of Oxford

Contributions

TACAS 2019 Author of StocHy: automated verification and synthesis of stochastic processes within the TACAS 2019-track