A Simple Rewrite System for the Normalization of Linear Temporal Logic
- Esparza, J.
- Rubio, R.
- Sickert, S.
ISSN: 1611-3349, 0302-9743
Année de publication: 2022
Volumen: 13660 LNCS
Pages: 208-227
Type: Chapitre d'ouvrage
ISSN: 1611-3349, 0302-9743
Année de publication: 2022
Volumen: 13660 LNCS
Pages: 208-227
Type: Chapitre d'ouvrage