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.
Journal:
Theoretical Computer Science

ISSN: 0304-3975

Year of publication: 2020

Volume: 813

Pages: 428-451

Type: Article

DOI: 10.1016/J.TCS.2020.02.015 GOOGLE SCHOLAR