Publication:4608681
From MaRDI portal
DOI10.4230/LIPIcs.CONCUR.2016.29zbMath1392.68257MaRDI QIDQ4608681
Richard Mayr, Amaury Pouly, James Worrell, Joël Ouaknine, Antonia Lechner
Publication date: 21 March 2018
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic