A Simple Rewrite System for the Normalization of Linear Temporal Logic
- Esparza, J.
- Rubio, R.
- Sickert, S.
ISSN: 1611-3349, 0302-9743
Ano de publicación: 2022
Volume: 13660 LNCS
Páxinas: 208-227
Tipo: Capítulo de libro
ISSN: 1611-3349, 0302-9743
Ano de publicación: 2022
Volume: 13660 LNCS
Páxinas: 208-227
Tipo: Capítulo de libro