Not registered as user yet

Name:Martin Zimmermann
Country:United Kingdom
Affiliation:University of Liverpool

Contributions

VMCAI 2020 Author of Promptness and Bounded Fairness in Concurrent and Parameterized Systems within the VMCAI 2020-track