Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+

  1. Bolotov, A.
  2. Hermo, M.
  3. Lucio, P.
Revista:
Theoretical Computer Science

ISSN: 0304-3975

Año de publicación: 2020

Volumen: 813

Páginas: 428-451

Tipo: Artículo

DOI: 10.1016/J.TCS.2020.02.015 GOOGLE SCHOLAR
Fuente de los datos: Scopus