scientific article; zbMATH DE number 5605076

MaRDI QIDQ3396573zbMATH OpenFDO

Authors Olivier Finkel

Publication date 19 September 2009

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(3)

• Folk theorems on the determinization and minimization of timed automata
• Synthesis of Non-Interferent Timed Systems
• Equivalence checking and intersection of deterministic timed finite state machines

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3396573)