Mathematical Foundations of Computer Science 2003
From MaRDI portal
Publication:5431331
DOI10.1007/b11836zbMath1124.68387OpenAlexW2495578842MaRDI QIDQ5431331
Publication date: 7 December 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11836
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
From linear temporal logics to Büchi automata: the early and simple principle ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ On regular temporal logics with past ⋮ GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic ⋮ Unnamed Item ⋮ Tool support for learning Büchi automata and linear temporal logic
Uses Software
This page was built for publication: Mathematical Foundations of Computer Science 2003