Efficient Normalization of Linear Temporal Logic

  1. Esparza, J.
  2. Rubio, R.
  3. Sickert, S.
Revista:
Journal of the ACM

ISSN: 1557-735X,  0004-5411

Año de publicación: 2024

Volumen: 71

Número: 2

Tipo: Artículo

DOI: 10.1145/3651152 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus