Not registered as user yet

Name: Martin Zimmermann

Country: United Kingdom

Affiliation: University of Liverpool

Contributions

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