scientific article; zbMATH DE number 1954378
From MaRDI portal
Publication:4415249
zbMath1027.03027MaRDI QIDQ4415249
Deepak D'Souza, Stéphane P. Demri
Publication date: 28 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2556/25560121.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (5)
An automata-theoretic approach to constraint LTL ⋮ Constraint LTL satisfiability checking without automata ⋮ An Automata-based Approach for CTL⋆ With Constraints ⋮ LTL over integer periodicity constraints ⋮ Linear-time temporal logics with Presburger constraints: an overview ★
This page was built for publication:
