Costs Are Expensive!
From MaRDI portal
Publication:3510834
DOI10.1007/978-3-540-75454-1_6zbMath1142.68045OpenAlexW1599046285MaRDI QIDQ3510834
Patricia Bouyer, Nicolas Markey
Publication date: 3 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75454-1_6
Formal languages and automata (68Q45) Undecidability and degrees of sets of sentences (03D35) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (5)
A survey of timed automata for the development of real-time systems ⋮ Infinite Runs in Weighted Timed Automata with Energy Constraints ⋮ MSO logics for weighted timed automata ⋮ Model-checking Timed Temporal Logics ⋮ On the Supports of Recognizable Timed Series
This page was built for publication: Costs Are Expensive!
