Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Schmid
conf.researchr.org general profile
ATVA 2025 profile
Not registered as user
Name:
Stefan Schmid
Country:
Germany
Affiliation:
TU Berlin, Germany
Contributions
2025
ATVA
Author of TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper) within the ATVA Papers-track
Share
x
Sun 26 Oct 23:25