Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Martin Zimmermann
conf.researchr.org general profile
ATVA 2025 profile
POPL 2020 profile
Not registered as user
Name:
Martin Zimmermann
Country:
United Kingdom
Affiliation:
University of Liverpool
Contributions
2025
ATVA
Author of TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper) within the ATVA Papers-track
2020
VMCAI
Author of Promptness and Bounded Fairness in Concurrent and Parameterized Systems within the VMCAI 2020-track
Share
x
Sun 26 Oct 20:53