scientific article
From MaRDI portal
Publication:2920121
DOI10.4230/LIPIcs.FSTTCS.2009.2313zbMath1248.68293MaRDI QIDQ2920121
Publication date: 24 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_32b3.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)
Related Items (4)
Temporal logics over linear time domains are in PSPACE ⋮ Unnamed Item ⋮ Unambiguity in Automata Theory ⋮ Synthesis for continuous time
Uses Software
This page was built for publication:
