Extending fairness expressibility of ECTL+: A tree-style one-pass tableau approach

  1. Bolotov, A.
  2. Hermo, M.
  3. Lucio, P.
Actas:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959770897

Año de publicación: 2018

Volumen: 120

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.TIME.2018.5 GOOGLE SCHOLAR
Fuente de los datos: Scopus