A Simple Rewrite System for the Normalization of Linear Temporal Logic
- Esparza, J.
- Rubio, R.
- Sickert, S.
ISSN: 1611-3349, 0302-9743
Any de publicació: 2022
Volum: 13660 LNCS
Pàgines: 208-227
Tipus: Capítol de llibre
ISSN: 1611-3349, 0302-9743
Any de publicació: 2022
Volum: 13660 LNCS
Pàgines: 208-227
Tipus: Capítol de llibre