scientific article; zbMATH DE number 1500642

MaRDI QIDQ4501664zbMATH OpenFDO

Authors Deepak D'Souza, P. S. Thiagarajan

Publication date 4 September 2000

zbMATH Keywords

product interval automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Product interval automata
• A theory of timed automata
• scientific article; zbMATH DE number 1231685
• scientific article; zbMATH DE number 1507209

Cited in

(5)

• A survey of timed automata for the development of real-time systems
• Diagnosis of timed patterns for discrete event systems by means of state isolation
• Event clock message passing automata: a logical characterization and an emptiness checking algorithm
• Product interval automata
• Automata and Logics for Timed Message Sequence Charts

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 Q4501664)