Product interval automata
From MaRDI portal
Publication:1847544
DOI10.1007/BF02717183zbMath1019.68055MaRDI 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
Related Items
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