Towards an efficient implementation of a tableau method for reactive safety specifications
- Alonso, A.
- Hermo, M.
- Oca, J.
Revista:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Año de publicación: 2025
Volumen: 142
Tipo: Artículo