The Common Fragment of ACTL and LTL
From MaRDI portal
Publication:5458358
DOI10.1007/978-3-540-78499-9_13zbMath1139.68036OpenAlexW87998981MaRDI QIDQ5458358
Publication date: 11 April 2008
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78499-9_13
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (6)
Temporal Logic and Fair Discrete Systems ⋮ Branching-time logics and fairness, revisited ⋮ Unnamed Item ⋮ Fragments of first-order logic over infinite words ⋮ Quantifier Alternation for Infinite Words ⋮ Factorization Forests
This page was built for publication: The Common Fragment of ACTL and LTL