Towards an efficient implementation of a tableau method for reactive safety specifications
- Alonso, A.
- Hermo, M.
- Oca, J.
Revue:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Année de publication: 2025
Volumen: 142
Type: Article