Branching-time temporal logic and tree automata
From MaRDI portal
Publication:1917081
DOI10.1006/inco.1996.0021zbMath0853.68133OpenAlexW2081883656MaRDI QIDQ1917081
Publication date: 12 December 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0021
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)
Related Items
Symbolic model checking with rich assertional languages ⋮ TOrPEDO : witnessing model correctness with topological proofs
This page was built for publication: Branching-time temporal logic and tree automata