Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bruno Maria René Gonzalez
conf.researchr.org general profile
ATVA 2025 profile
Not registered as user
Name:
Bruno Maria René Gonzalez
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
Sat 1 Nov 10:50