Towards an efficient implementation of a tableau method for reactive safety specifications
- Alonso, A.
- Hermo, M.
- Oca, J.
Zeitschrift:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Datum der Publikation: 2025
Ausgabe: 142
Art: Artikel