scientific article; zbMATH DE number 5605076

zbMATH Open1169.68467MaRDI QIDQ3396573FDOQ3396573

Authors: Olivier Finkel 

Publication date: 19 September 2009

Title of this publication is not available (Why is that?)

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
• Equivalence checking and intersection of deterministic timed finite state machines
• Synthesis of Non-Interferent Timed Systems

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)