scientific article; zbMATH DE number 1543316

MaRDI QIDQ4520787zbMATH OpenFDO

Authors Kahn Mason, Padmanabhan Krishnan

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_5_9/decomposition_of_timed_automata

zbMATH Keywords

decompositionhomomorphismstimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Decomposing timed push down automata
• scientific article; zbMATH DE number 1405646
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 3570372
• A theory of timed automata

Cited in

(6)

• Decomposing timed push down automata
• scientific article; zbMATH DE number 3570372 (Why is no real title available?)
• Analyzing Timed Systems Using Tree Automata
• scientific article; zbMATH DE number 2104628 (Why is no real title available?)
• scientific article; zbMATH DE number 1405646 (Why is no real title available?)
• scientific article; zbMATH DE number 5201490 (Why is no real title available?)

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