Safety and Liveness on Finite Words
Luca Geatti
•
Stefano Pessotto
•
Stefano Tonetta
2025
DOI
Archivio
Diritti
open access
license:creative commons
license uri:http://creativecommons.org/licenses/by/4.0/