scientific article; zbMATH DE number 2102709
From MaRDI portal
Publication:4817547
zbMath1046.68591MaRDI QIDQ4817547
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (6)
A note on a question of Peled and Wilke regarding stutter-invariant LTL ⋮ On-the-Fly Stuttering in the Construction of Deterministic ω-Automata ⋮ Conservative groupoids recognize only regular languages ⋮ Craig Interpolation for Linear Temporal Languages ⋮ Specification Languages for Stutter-Invariant Regular Properties ⋮ On the Expressiveness of Temporal Equilibrium Logic
This page was built for publication:
