Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+
Journal:
Theoretical Computer Science
ISSN: 0304-3975
Year of publication: 2020
Volume: 813
Pages: 428-451
Type: Article