Publication:4608681

From MaRDI portal
Revision as of 15:07, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


DOI10.4230/LIPIcs.CONCUR.2016.29zbMath1392.68257MaRDI QIDQ4608681

Richard Mayr, Amaury Pouly, James Worrell, Joël Ouaknine, Antonia Lechner

Publication date: 21 March 2018


zbMATH Keywords

reachability; Presburger arithmetic; one-counter automata; disequality tests; freeze LTL


Mathematics Subject Classification ID

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





Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4608681&oldid=18776302"
Powered by MediaWiki