Product interval automata

DOI10.1007/BF02717183zbMath1019.68055OpenAlexW2064167447MaRDI QIDQ1847544

P. S. Thiagarajan, Deepak D'Souza

Publication date: 27 November 2002

Published in: Sādhanā (Search for Journal in Brave)

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

zbMATH Keywords

timed automataproduct interval automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Distributed systems (68M14)

Related Items (1)

Coinduction in Concurrent Timed Systems

Cites Work

• A theory of timed automata
• Weak Second‐Order Arithmetic and Finite Automata
• Notes on finite asynchronous automata
• The complexity of propositional linear temporal logics
• Generalized ternary simulation of sequential circuits
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Product interval automata