On Continuous Timed Automata with Input-Determined Guards

From MaRDI portal

Revision as of 00:54, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5386000

Jump to:navigation, search

DOI10.1007/11944836_34zbMath1177.68136OpenAlexW1582604510MaRDI QIDQ5386000

Pavithra Prabhakar, Deepak D'Souza, Fabrice Chevalier

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_34

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

A survey of timed automata for the development of real-time systems ⋮ Automata and logics over finitely varying functions

This page was built for publication: On Continuous Timed Automata with Input-Determined Guards

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5386000&oldid=20106904"