Bruno Maria René Gonzalez

According to our database, Bruno Maria René Gonzalez authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets.

Bruno Maria René Gonzalez, Peter Gjøl Jensen, Stefan Schmid, Jirí Srba, Martin Zimmermann

Proceedings of the Automated Technology for Verification and Analysis, 2025